stephenrkell / liballocsLinks
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
☆240Updated this 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☆216Updated last year
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Some fun examples of solving problems with symbolic execution☆115Updated 7 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Low-level Lisp with compile-time memory management☆275Updated 7 years ago
- a tiny self-hosted Forth implementation☆432Updated 5 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆66Updated 5 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- Just a backup of the very nice Richard W.M. Jones Forth interpreter☆227Updated 14 years ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆100Updated 11 years ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Updated 3 weeks ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Maru - a tiny self-hosting lisp dialect☆207Updated last week
- A compiler frontend for the C programming language☆551Updated last month
- A tiny self-hosting Lisp-to-C compiler☆237Updated 5 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆399Updated 5 years ago
- A PEG that compiles itself.☆75Updated 15 years ago
- S-expression source translation and macro expansion utility☆85Updated 15 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆216Updated 2 years ago
- A work-in-progress garbage collector for Guile☆199Updated 2 weeks ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file☆306Updated 3 months ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- A straightforward standalone Forth implementation for x86.☆132Updated last year
- Lisp implementation in sed☆556Updated 8 years ago
- nanopass compiler framework for Racket☆192Updated last year
- Marpa parse engine C library -- STABLE☆99Updated 2 years ago