Alternatives and similar repositories for toda

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

• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 3 years ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated 4 months ago
• MichaelBurge / pyramid-scheme
  Pyramid is a language to create Ethereum smart contracts
  ☆250Updated 7 years ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆16Updated 3 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆37Updated 2 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 8 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• Shen-Language / wiki
  ☆74Updated 11 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 9 months ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated last week
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated 2 years ago
• anoma / geb
  A Categorical View of Computation
  ☆34Updated last week
• urbit / examples
  Urbit examples
  ☆87Updated 5 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• jarcane / minicosm
  A FP-oriented game engine inspired by universe.rkt, written in Clojurescript
  ☆26Updated 4 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• racket / datalog
  ☆49Updated last month
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 6 months ago
• zigguratt / lll-dispatcher
  An LLL-based smart contract function dispatcher and example contract.
  ☆47Updated 8 years ago
• codefrau / jasmine
  Croquet Jasmine (2004) on SqueakJS
  ☆32Updated 8 months ago