nmhancock / type-inferencingLinks
Hindley–Milner Type inferencing in C
☆48Updated 3 years ago
Alternatives and similar repositories for type-inferencing
Users that are interested in type-inferencing are comparing it to the libraries listed below
Sorting:
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated last month
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- A toy programming language.☆41Updated last year
- Implement a Lisp, in C, from scratch, no libs☆83Updated 3 years ago
- Mal (Make A Lisp) Compiler in C☆52Updated 5 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆162Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 7 years ago
- An implementation of interaction nets as a forth-like language.☆38Updated 2 months ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 4 months ago
- A simple incomplete Scheme-to-C compiler☆74Updated 2 months ago
- cparse is an LR(1) and LALR(1) parser generator☆63Updated 2 weeks ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 5 years ago
- bcc is a b compiler☆33Updated 3 years ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆100Updated 8 months ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- A CHIP-8 emulator in C.☆18Updated 3 years ago
- Small Fast S-Expression Library☆82Updated 9 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A #lang implementation of Lua 5.4 for Racket.☆56Updated 5 months ago
- Simple conservative GC using mimalloc☆41Updated 2 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Kamby Language☆74Updated 3 weeks ago
- lambda calculus interpreter☆44Updated 4 years ago
- A small λ-calculus interpreter in C☆57Updated 11 years ago
- Tiny scheme implementation written in c++17☆31Updated 6 years ago
- My personal website☆99Updated this week
- BQN virtual machine☆31Updated last year
- A programmable virtual CPU written in untyped lambda calculus☆56Updated 2 years ago