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.
  ☆75Updated last year
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated this week
• MichaelBurge / pyramid-scheme
  Pyramid is a language to create Ethereum smart contracts
  ☆249Updated 7 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆89Updated this week
• Shen-Language / wiki
  ☆74Updated 10 years ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆15Updated 3 years ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 11 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆37Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated last week
• void4 / notes
  Notes, Questions, Ideas
  ☆23Updated 8 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 6 months ago
• videolang / video
  Source Code for Video language.
  ☆140Updated 5 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆63Updated 7 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 8 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago