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☆88Updated 4 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated 2 months ago
- Mal (Make A Lisp) Compiler in C☆52Updated 4 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆16Updated 3 years ago
- A toy programming language.☆40Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆158Updated 2 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 3 years ago
- Tiny scheme implementation written in c++17☆29Updated 6 years ago
- Kamby Language☆75Updated this week
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Implement a Lisp, in C, from scratch, no libs☆81Updated 2 years ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆83Updated 5 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 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
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A #lang implementation of Lua 5.4 for Racket.☆56Updated last month
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 6 months ago
- s7 Scheme☆59Updated 6 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆97Updated 7 years ago
- A minimal stack based programming language☆33Updated last year
- Small Fast S-Expression Library☆77Updated 6 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 3 weeks ago
- My Own Linear Lisp☆40Updated 6 years ago