Alternatives and similar repositories for LisPlusPlus

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

• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆40Updated last year
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆345Updated last year
• alin23 / m1-panic
  Minimum requirements for triggering an M1 CPU panic
  ☆47Updated 3 years ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆286Updated 7 months ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆52Updated 6 months ago
• annacrombie / meson-raytracer
  ☆57Updated 3 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆20Updated 10 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• eritbh / amogus-xy
  this is so dumb
  ☆10Updated 3 years ago
• DavidBuchanan314 / unPNG
  A backward-compatible subset of the PNG file format, for uncompressed bitmaps
  ☆25Updated last year
• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆15Updated last year
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 11 months ago
• LindenRegex / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆20Updated 3 weeks ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆44Updated 2 weeks ago
• saagarjha / dummy_thicc
  0xcafebabe
  ☆70Updated 5 years ago
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆75Updated this week
• merryhime / mp
  A small header-only C++17 metaprogramming library
  ☆21Updated 4 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆61Updated 3 years ago
• Snektron / pareas
  GPU-accelerated compiler
  ☆368Updated last year
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆90Updated this week
• tendra / tendra
  The TenDRA Project
  ☆249Updated 4 months ago
• victorpoughon / cppiceberg
  The C++ Iceberg
  ☆68Updated last year
• DavidBuchanan314 / irradiate.py
  a simple script to simulate random "cosmic ray" memory errors against a linux process
  ☆13Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆341Updated this week
• tmcgilchrist / durin
  Durin is a library for reading and writing the Dwarf debugging format
  ☆47Updated 2 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆77Updated 2 years ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆189Updated this week
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆39Updated last year
• dupontgu / pov_pong_mouse
  Implementation of Pong that runs within a mouse's firmware and renders by moving the cursor fast enough to acheive persistence of vision
  ☆164Updated last year