clauf
hindley-milner
clauf | hindley-milner | |
---|---|---|
5 | 1 | |
40 | 1 | |
- | - | |
10.0 | 10.0 | |
about 1 year ago | over 1 year ago | |
C++ | Rust | |
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.
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
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.
What are some alternatives?
frobtads - Linux and macOS development tools and text-mode interpreter for TADS adventure games.
SynthML - A programming language for type-directed program synthesis
Dependencies - A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.
sirius - The Sirius programming langauge
boba - A general purpose statically-typed concatenative programming language.
candy - 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
tsmp
kcl - KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
astatine - Astatine is a is a mid-level, statically typed, procedural programming language with some functional components.
boba-core - Core Boba definitions necessary for all Boba pearls and programs to compile
code-style-agnostic-search - Coding Style -agnostic (and more) search for C++
langs