joeltg / brainfreeze
Fully Homomorphic Brainfuck
☆19Updated 6 years ago
Alternatives and similar repositories for brainfreeze
Users that are interested in brainfreeze are comparing it to the libraries listed below
Sorting:
- An alternative to Urbit☆94Updated 7 years ago
- Forth dialect implemented in C, Javascript, WebAssembly and compiled from C to asm.js and WebAssembly.☆29Updated 8 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- A re-implementation of ShapeCPU☆18Updated 2 years ago
- An Algebraic, Executable Ur Machine☆36Updated 6 years ago
- ☆14Updated 4 years ago
- Direct Manipulation of Turtle Graphics☆37Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- things that don't deserve their own repo☆64Updated last month
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- WebAssembly AST Forth☆20Updated 8 years ago
- a readable language that grows from the silicon☆61Updated last year
- Smallish programs written to learn something.☆51Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- APL-like functions for use from Lua.☆18Updated 10 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- ☆46Updated 2 years ago
- Natural Language Datalog☆130Updated 7 years ago
- Notes, Questions, Ideas☆23Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- bcc is a b compiler☆32Updated 2 years ago
- The Déjà Vu programming language☆15Updated 10 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- Design a turing-complete marble run with ascii/unicode art☆54Updated 7 years ago
- Verilog Tetris☆13Updated 10 years ago
- okami is an application development platform☆35Updated 9 months ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago