joeltg / brainfreeze
Fully Homomorphic Brainfuck
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for brainfreeze
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Distributed Lisp interpreter in Erlang.☆11Updated 7 years ago
- WebAssembly AST Forth☆18Updated 8 years ago
- Forth dialect implemented in C, Javascript, WebAssembly and compiled from C to asm.js and WebAssembly.☆28Updated 8 years ago
- Microscopic Rebol Dialect ("mooshed") for Code Golf☆28Updated 11 months ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- things that don't deserve their own repo☆63Updated 4 months ago
- ☆13Updated 3 years ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- tiny experimental language for limited environments☆17Updated last year
- The Déjà Vu programming language☆15Updated 10 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 2 years ago
- ☆16Updated 6 years ago
- minimal lisp that compiles to x86☆10Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- A re-implementation of ShapeCPU☆18Updated 2 years ago
- Well Typed Foundations 🏛️☆15Updated 3 years ago
- an implementation of forth in the rust programming language☆30Updated 8 years ago
- a Lispy Forth in C++☆23Updated 6 years ago
- Quick and easy setup for rotonde☆10Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Minimalistic, functional, JSON-formatted programming language☆19Updated 7 years ago
- Lightweight Browser-Based Javascript Hierarchical Temporal Memory☆21Updated 5 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆76Updated 4 years ago