Alternatives and similar repositories for brainfreeze:

Users that are interested in brainfreeze are comparing it to the libraries listed below

• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• marianoguerra / ricardo-forth
  Forth dialect implemented in C, Javascript, WebAssembly and compiled from C to asm.js and WebAssembly.
  ☆29Updated 8 years ago
• tekknolagi / distlisp
  Distributed Lisp interpreter in Erlang.
  ☆11Updated 8 years ago
• Glench / REPLugger
  Research prototype of a REPL/debugger
  ☆30Updated 6 years ago
• mmastrac / oblivious-cpu
  A re-implementation of ShapeCPU
  ☆18Updated 2 years ago
• rbyte / Vogo
  Direct Manipulation of Turtle Graphics
  ☆37Updated 3 years ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆13Updated 10 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• drom / wast-forth
  WebAssembly AST Forth
  ☆19Updated 8 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆66Updated 9 months ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 2 months ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆52Updated 8 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆74Updated 14 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆13Updated this week
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• kragen / calculusvaporis
  A tiny CPU
  ☆20Updated 15 years ago
• zwizwa / staapl
  A Racket-based Forth / Macro Assembler on steroids for PIC18F
  ☆39Updated last year
• alexcrist / scaler
  A web app that lets you play musical scales according to math equations
  ☆69Updated 3 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆25Updated last year
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago