Alternatives and similar repositories for brainfreeze

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

• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 15 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• tobyshooters / tickle
  broadcast messages to everyone on your network
  ☆20Updated 2 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated last month
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 10 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last month
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• mmastrac / oblivious-cpu
  A re-implementation of ShapeCPU
  ☆19Updated 3 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 8 years ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆38Updated last year
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 6 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• cdglabs / tableVision
  ☆18Updated 10 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago