Alternatives and similar repositories for toda

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

• MichaelBurge / pyramid-scheme
  Pyramid is a language to create Ethereum smart contracts
  ☆249Updated 7 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 6 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆59Updated 2 months ago
• kpreid / e-on-cl
  E language implementation targeting Common Lisp
  ☆14Updated 13 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆37Updated last year
• Shen-Language / wiki
  ☆73Updated 10 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated 2 years ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆15Updated 3 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated 11 months ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆41Updated last year
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆18Updated 3 weeks ago
• drcode / clll
  Run Ethereum LLL contract code directly in Clojure
  ☆32Updated 10 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• BSeppke / vigracket
  access (parts of) VIGRA's functionality from Racket
  ☆15Updated 3 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• zigguratt / lll-dispatcher
  An LLL-based smart contract function dispatcher and example contract.
  ☆47Updated 8 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• keorn / ipfs-gorilla-repl
  Display Gorilla repl on IPFS
  ☆16Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 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