moshev / TemplateQueensLinks
Some simple C++ template abuse
☆18Updated 5 years ago
Alternatives and similar repositories for TemplateQueens
Users that are interested in TemplateQueens are comparing it to the libraries listed below
Sorting:
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- 💐 j is a subset of J, and an essay.☆41Updated last year
- Don't tell me what not to do - Mutex built on an M1 security exploit☆24Updated 4 years ago
- A compiler for the esoteric language ℂ.☆28Updated 3 years ago
- Don't ask me how this works☆12Updated 4 years ago
- JHT rating: 28-765☆13Updated 6 years ago
- lang Thue + Regex☆14Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Esotope Brainfuck Compiler (2009)☆28Updated 9 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆29Updated 9 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Updated 6 years ago
- DRAT proof processor☆14Updated 2 years ago
- A superset of brainfuck with dynamic memory management.☆28Updated 4 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 3 years ago
- yk packages☆32Updated this week
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Updated 3 years ago
- pwintln uwu☆37Updated 4 years ago
- A WebAssembly implementation in Lean4☆34Updated last year
- ☆63Updated this week
- simple command-line tool to send text and files to discord☆17Updated last year
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- A Rust implementation of Core Wars☆19Updated last week
- Journey to the Center of the Lambda Calculus☆14Updated last year
- Returns true if the given number is odd.☆30Updated 5 months ago