SynthML | langs | |
---|---|---|
1 | 185 | |
6 | 86 | |
- | - | |
10.0 | 9.3 | |
over 1 year ago | 5 days ago | |
Haskell | C | |
Mozilla Public License 2.0 | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SynthML
-
October 2022 monthly "What are you working on?" thread
I’ve started on my new language, SynthML! The project’s goal is to make program synthesis user-friendly and approachable. I’m also keeping a devlog for the project.
langs
- How does the compiler know that an already typedefed ident is meant to be a new declarator?
- Compiler Case Study
- Making Simple Concepts Hard
- What makes a language easy for writing a parser?
-
Resources to understand mojo and compilers
The code is here. Note that the input filename is hardcoded in the source code.
- Automatic import of C headers —how to deal with macros?
- How does preprocessing work in a one pass compiler?
- 'Table Data' and 'X-Macros'
- Register Window in a Stack VM Interpreter
- My New IL
What are some alternatives?
kcl - KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
prolog-to-minizinc - A Prolog-to-MiniZinc translator
hindley-milner - simply typed lambda calculus with hindley-milner type inference
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
sirius - The Sirius programming langauge
vox - Vox language compiler. AOT / JIT / Linker. Zero dependencies
boba-core - Core Boba definitions necessary for all Boba pearls and programs to compile
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
astatine - Astatine is a is a mid-level, statically typed, procedural programming language with some functional components.
wabt - The WebAssembly Binary Toolkit
candy - 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
factor - Factor programming language