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☆335Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆40Updated 2 weeks ago
- 💐 j is a subset of J, and an essay.☆51Updated 4 months ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆19Updated last year
- Modeling futexes in TLA+☆20Updated last year
- Binary Lambda Calculus Virtual Machine☆56Updated last year
- ☆54Updated 3 years ago
- A programmable virtual CPU written in untyped lambda calculus☆60Updated 3 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated last month
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Linearizability Hoare Logic☆14Updated 8 months ago
- I put way too much effort into controlling my LG DualUp's inputs from my laptop☆113Updated 2 years ago
- A small header-only C++17 metaprogramming library☆21Updated 4 years ago
- A toy ELF parser/validator☆15Updated 11 months ago
- Durin is a library for reading and writing the Dwarf debugging format☆46Updated last week
- this is so dumb☆10Updated 3 years ago
- Journey to the Center of the Lambda Calculus☆14Updated 2 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated 3 months ago
- This repository will be a community-curated list of software and resources that explicitly avoid the integration of artificial intelligen…☆54Updated 2 months ago
- A very simple non-linear time-domain circuit simulator using multidimensional newton's method to solve kirchoff's current law☆14Updated 2 years ago
- XKCD 3062☆22Updated 8 months ago
- GPU-accelerated compiler☆363Updated last year
- An interactive tool for experimenting with LR(1) grammars☆20Updated 3 years ago
- CN separation logic refinement type system for C☆42Updated this week
- The Pulse separation logic DSL for F*☆27Updated this week
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Updated 4 months ago
- ☆11Updated 4 years ago