TODAQopen / todaLinks
TODA files: an open source cryptographic asset structure
☆17Updated 2 months ago
Alternatives and similar repositories for toda
Users that are interested in toda are comparing it to the libraries listed below
Sorting:
- Lisp implementation of Lurk.☆78Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- The Glow language for Blockchain Decentralized Applications.☆60Updated last month
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated 2 years ago
- The Linda process coordination language written in Clojure.☆27Updated 10 years ago
- Graphical programming editor☆33Updated 8 years ago
- Libp2p bindings for Gerbil☆15Updated 3 years ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- ☆42Updated last year
- Notes, Questions, Ideas☆23Updated 8 years ago
- Pyramid is a language to create Ethereum smart contracts☆250Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- An alternative to Urbit☆94Updated 8 years ago
- A programming argot☆58Updated last year
- Reflective actor-based language☆28Updated 8 years ago
- ☆74Updated 10 years ago
- 🌱 Growing small systems in public☆42Updated 10 months ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆29Updated 4 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated last week
- 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
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- an ersatz lisp for tiny birds. a code riff.☆43Updated 2 weeks ago
- Sunrise on the Boxer Reconstruction Project☆54Updated last month
- The best Prolog visualizer☆85Updated 2 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago