stephenrkell / liballocsLinks
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
☆228Updated last week
Alternatives and similar repositories for liballocs
Users that are interested in liballocs are comparing it to the libraries listed below
Sorting:
- APL Compiler targeting a typed array intermediate language☆215Updated 10 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- a tiny self-hosted Forth implementation☆427Updated 5 years ago
- Low-level Lisp with compile-time memory management☆275Updated 7 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated 2 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- Maru - a tiny self-hosting lisp dialect☆198Updated last week
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The Pascal-F Verifier☆49Updated 8 years ago
- A Compiler for the Popr Language☆249Updated 4 years ago
- S-expression source translation and macro expansion utility☆84Updated 14 years ago
- Just a backup of the very nice Richard W.M. Jones Forth interpreter☆223Updated 14 years ago
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- A tiny self-hosting Lisp-to-C compiler☆239Updated 5 years ago
- The NIAL language environment☆112Updated 2 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆63Updated 5 years ago
- ☆166Updated 12 years ago
- Implementation of delimited control for C/C++☆27Updated 13 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆145Updated 4 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆216Updated last year
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆198Updated 4 years ago
- LLVM to Common Lisp transpiler.☆267Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated last year
- A rudimentary Racket implementation using RPython☆265Updated last month
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago