Alternatives and similar repositories for liballocs

Users that are interested in liballocs are comparing it to the libraries listed below

• kragen / stoneknifeforth
  a tiny self-hosted Forth implementation
  ☆432Updated 5 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• eudoxia0 / interim
  Low-level Lisp with compile-time memory management
  ☆277Updated 7 years ago
• attila-lendvai / maru
  Maru - a tiny self-hosting lisp dialect
  ☆211Updated 2 weeks ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆67Updated 5 years ago
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆208Updated last month
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆205Updated 5 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• rochus-keller / Smalltalk
  Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file
  ☆309Updated 4 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆195Updated last year
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆436Updated last week
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆225Updated 3 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆121Updated 7 months ago
• udem-dlteam / ribbit
  A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…
  ☆544Updated 3 weeks ago
• darius / ichbins
  A tiny self-hosting Lisp-to-C compiler
  ☆237Updated 5 years ago
• akeep / scheme-to-c
  A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
  ☆365Updated 4 years ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆555Updated 3 weeks ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆100Updated 8 years ago
• snej / tails
  A fast, minimal Forth-like interpreter core in C++ with no assembly
  ☆101Updated 10 months ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• oriansj / M2-Planet
  The PLAtform NEutral Transpiler
  ☆123Updated 3 weeks ago
• picolisp / picolisp
  PicoLisp active development has moved to the pil21 repository: https://github.com/picolisp/pil21
  ☆208Updated 5 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆207Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago