FStarLang / FStarLang/FStar

New codegen backend documentation

Open
#800 2 comments 3 reactions 0 assignees View on GitHub
component/documentation
Dominant language
F*
Stars
3.1k
Forks
266
Avg merge
21h 1m
Merged PRs (30d)
54

Description

Unable to locate documentation on how to start the creation of a new codegen back-end other than OCaml/F#/Kremlin. I'm curious in creating a back-end of a certain virtual machine (the EVM) due to its use in certain areas, and it sorely needs a strongly typed language compiling to it. Is there any information on how to get started on creating a new back-end or are they fairly hard-coded in and not open to expansion or PR's?

Contributor guide

Open the contributing guide

Research direction

The issue names OCaml, F#, Kremlin, and a proposed EVM backend but no repository file, test, or entry point. Start by locating documentation and implementation references for the existing codegen backends, then document how a new backend is structured and whether it is an extension point for contributions.

Written by the indexing model from the issue text.

Assessment

Tech stack
fsharp, ocaml
Domain
compilers, documentation
Issue type
Documentation
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
15/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.