nmhancock / type-inferencingLinks
Hindley–Milner Type inferencing in C
☆48Updated 2 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)☆63Updated 3 weeks ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 2 months ago
- A simple incomplete Scheme-to-C compiler☆68Updated this week
- A toy programming language.☆40Updated last year
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆84Updated 6 months ago
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 3 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆73Updated 5 years ago
- An implementation of interaction nets as a forth-like language.☆36Updated 3 weeks ago
- bcc is a b compiler☆34Updated 3 years ago
- My personal website☆96Updated this week
- A small λ-calculus interpreter in C☆57Updated 10 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- McLulang: The message is the language☆11Updated 11 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A work-in-progress garbage collector for Guile☆185Updated this week
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆69Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years 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 3 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- Implement a Lisp, in C, from scratch, no libs☆82Updated 3 years ago
- Mal (Make A Lisp) Compiler in C☆52Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- Tiny scheme implementation written in c++17☆30Updated 6 years ago
- Small Fast S-Expression Library☆79Updated 7 months ago