stephenrkell / liballocsLinks
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
☆278Updated 3 weeks ago
Alternatives and similar repositories for liballocs
Users that are interested in liballocs are comparing it to the libraries listed below
Sorting:
- a tiny self-hosted Forth implementation☆436Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Maru - a tiny self-hosting lisp dialect☆212Updated this week
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- A Compiler for the Popr Language☆257Updated 5 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆68Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆214Updated 3 years ago
- Low-level Lisp with compile-time memory management☆279Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆208Updated 5 years ago
- A work-in-progress garbage collector for Guile☆215Updated last week
- A compiler frontend for the C programming language☆563Updated 2 months ago
- The Pascal-F Verifier☆51Updated 8 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆336Updated 3 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file☆312Updated 6 months ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- The NIAL language environment☆115Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆399Updated 5 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Updated last month
- ☆167Updated 12 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆125Updated 9 months ago
- Next-level syntax for C-like languages :)☆443Updated 2 months ago
- Studio is an interactive software diagnostics environment☆121Updated 5 years ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆100Updated 12 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368Updated 4 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆282Updated 3 years ago