joeltg / brainfreeze
Fully Homomorphic Brainfuck
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for brainfreeze
- things that don't deserve their own repo☆63Updated 4 months ago
- A re-implementation of ShapeCPU☆18Updated 2 years ago
- Forth dialect implemented in C, Javascript, WebAssembly and compiled from C to asm.js and WebAssembly.☆28Updated 8 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- ☆13Updated 3 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- ☆18Updated 8 years ago
- WebAssembly AST Forth☆18Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- ☆16Updated 6 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- Verilog Tetris☆14Updated 9 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Lisp for JSON☆17Updated 6 years ago
- Graphical programming editor☆33Updated 7 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 3 weeks ago
- An alternative to Urbit☆91Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Quick and easy setup for rotonde☆10Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Noether programming language☆126Updated 7 years ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- A minimal decentralized computer.☆121Updated 2 years ago
- This is a library for "Overveld-style" constraint relaxation.☆65Updated last year
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago