Lucretiel / LisPlusPlusLinks
A lisp embedded in C++ syntax by overriding the comma operator
☆12Updated 2 years ago
Alternatives and similar repositories for LisPlusPlus
Users that are interested in LisPlusPlus are comparing it to the libraries listed below
Sorting:
- A Brainfuck interpreter embedded inside DWARF debug information☆39Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆337Updated last year
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆19Updated this week
- ☆54Updated 3 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆40Updated 3 weeks ago
- A programmable virtual CPU written in untyped lambda calculus☆61Updated 3 years ago
- Don't tell me what not to do - Mutex built on an M1 security exploit☆24Updated 4 years ago
- HDL development environment on Nix.☆26Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Universal binaries for Linux.☆134Updated 2 years ago
- Compiler for the fort programming language☆14Updated 5 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- A small header-only C++17 metaprogramming library☆21Updated 4 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆50Updated 5 months ago
- A toy ELF parser/validator☆15Updated last year
- ☆58Updated last year
- this is so dumb☆10Updated 3 years ago
- An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.☆233Updated 2 years ago
- ☆15Updated 3 months ago
- A backward-compatible subset of the PNG file format, for uncompressed bitmaps☆24Updated last year
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆33Updated 7 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆122Updated 2 years ago
- CN separation logic refinement type system for C☆42Updated this week
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆73Updated this week
- Modeling futexes in TLA+☆20Updated last year
- A heavily optimizing Brain**** interpreter written in Bash!☆32Updated last month
- Bad Apple, but 🌙☆44Updated 5 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- The roots of trust for all architectures☆103Updated last year