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)☆64Updated 4 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆90Updated 4 years ago
- A toy programming language.☆40Updated last year
- Implement a Lisp, in C, from scratch, no libs☆81Updated 3 years ago
- Mal (Make A Lisp) Compiler in C☆52Updated 4 years ago
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆16Updated 3 years ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆84Updated 5 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 last month
- Small Fast S-Expression Library☆77Updated 6 months ago
- bcc is a b compiler☆33Updated 3 years ago
- 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.☆34Updated 2 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- A simple incomplete Scheme-to-C compiler☆68Updated last week
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A small λ-calculus interpreter in C☆56Updated 10 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆51Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…☆70Updated 7 years ago
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- Kamby Language☆74Updated this week
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 6 months ago
- Tiny scheme implementation written in c++17☆30Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 3 years ago