Alternatives and similar repositories for toda

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

• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated 2 months ago
• 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
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated 2 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆16Updated 3 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 11 years ago
• MichaelBurge / pyramid-scheme
  Pyramid is a language to create Ethereum smart contracts
  ☆250Updated 7 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 8 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆72Updated 7 years ago
• Shen-Language / wiki
  ☆74Updated 10 years ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 2 months ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆19Updated 5 months ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 8 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• fdserr / clotilde
  The Linda process coordination language written in Clojure.
  ☆27Updated 10 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆89Updated this week
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 8 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• kennytilton / its-alive
  A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …
  ☆21Updated 3 years ago
• urbit / hoon-mode.el
  ☆19Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 9 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago