hindley-milner
clauf
| hindley-milner | clauf | |
|---|---|---|
| 1 | 5 | |
| 1 | 40 | |
| - | - | |
| 10.0 | 10.0 | |
| over 1 year ago | about 1 year ago | |
| Rust | C++ | |
| - | Boost Software License 1.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.
hindley-milner
-
October 2022 monthly "What are you working on?" thread
I'm working on my toy language: https://github.com/differenzkern/hindley-milner So far I've got hindley milner inference with let polymorphism and algebraic data types.
clauf
-
dont want online ones
Want to see your mind blown? Check out cling, a (sort of) C and C++ interpreter (it's a REPL). Or the work in progress, live-developed clauf, a real C interpreter.
-
Chibicc – A Small C Compiler
I'm currently writing an interpreter for C, I plan on adding a JIT at some point as well: https://github.com/foonathan/clauf
-
October 2022 monthly "What are you working on?" thread
I've continued working on developing my C interpreter: https://github.com/foonathan/clauf
-
September 2022 monthly "What are you working on?" thread
I've been working on a generic bytecode interpreter the last couple of months. It reached a point where I needed to test it in a real compiler, so I've started writing a C interpreter.
-
C++ Show and Tell - September 2022
Source code is available here: https://github.com/foonathan/clauf
What are some alternatives?
SynthML - A programming language for type-directed program synthesis
frobtads - Linux and macOS development tools and text-mode interpreter for TADS adventure games.
sirius - The Sirius programming langauge
Dependencies - A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.
candy - 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
boba - A general purpose statically-typed concatenative programming language.
kcl - KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
tsmp
boba-core - Core Boba definitions necessary for all Boba pearls and programs to compile
astatine - Astatine is a is a mid-level, statically typed, procedural programming language with some functional components.
langs
code-style-agnostic-search - Coding Style -agnostic (and more) search for C++