Hindley–Milner Type inferencing in C
☆48Aug 11, 2022Updated 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:
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- ☆24Oct 23, 2025Updated 4 months ago
- Learn CPython internals by customizing the interpreter.☆18Feb 8, 2026Updated 2 weeks ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 weeks ago
- Neatcc top-level makefile☆13Feb 8, 2026Updated 2 weeks ago
- A heavily optimizing Brain**** interpreter written in Bash!☆32Nov 10, 2025Updated 3 months ago
- Bidirectional type checker for the simply typed lambda calculus☆15Feb 4, 2020Updated 6 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- GNU APL port to Android☆16Oct 22, 2014Updated 11 years ago
- A neovim plugin written in lua to automatically detect your current workspace's build system and set makeprg accordingly☆15Feb 16, 2026Updated last week
- A very boring programming language☆12Aug 19, 2025Updated 6 months ago
- Arduino BSP for ESP8266 without WiFi support☆14Dec 26, 2022Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆16Oct 9, 2022Updated 3 years ago
- Clean, vibrant and pleasing color scheme for Neovim☆10Dec 10, 2025Updated 2 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Nov 15, 2025Updated 3 months ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- VSCode port of Doom Emacs' doom-one colorscheme☆16Aug 26, 2023Updated 2 years ago
- A small inline caching demo.☆15Feb 1, 2023Updated 3 years ago
- C unit tests with a small header-only library.☆63Dec 27, 2023Updated 2 years ago
- okami is an application development platform☆39Aug 15, 2025Updated 6 months ago
- ☆18Aug 20, 2019Updated 6 years ago
- A Tiger compiler written in SML.☆13May 7, 2015Updated 10 years ago
- An example of how you can fully integrate wasm into a webpage. No need for fetching or any of that jazz.☆15Nov 6, 2020Updated 5 years ago
- Synthesizable Uxn CPU☆17Jul 14, 2022Updated 3 years ago
- ☆17Oct 18, 2021Updated 4 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 9 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆17Aug 20, 2021Updated 4 years ago
- ☆20May 10, 2025Updated 9 months ago
- Prolog in AWK☆17Mar 9, 2017Updated 8 years ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆48Jul 8, 2025Updated 7 months ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Nov 23, 2019Updated 6 years ago
- Experimental Niko Language☆17Sep 6, 2020Updated 5 years ago
- Podjeli is file sharing on your terms, encode your file into URLs. SPA written in JavaScript with JQuery.☆17Aug 29, 2020Updated 5 years ago
- The Evi programming language☆16Jun 17, 2022Updated 3 years ago