TODAQopen / todaLinks
TODA files: an open source cryptographic asset structure
☆16Updated 2 weeks ago
Alternatives and similar repositories for toda
Users that are interested in toda are comparing it to the libraries listed below
Sorting:
- The Glow language for Blockchain Decentralized Applications.☆59Updated 3 months ago
- Lisp implementation of Lurk.☆71Updated 11 months ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Libp2p bindings for Gerbil☆15Updated 3 years ago
- Graphical programming editor☆33Updated 8 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated last year
- Prototype Object Orientation for Gerbil Scheme☆24Updated 3 months ago
- ☆74Updated 10 years ago
- Pyramid is a language to create Ethereum smart contracts☆250Updated 7 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Ethereum support for Gerbil Scheme☆18Updated last month
- The propagator system☆41Updated 9 years ago
- 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
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- A programming argot☆58Updated last year
- Sunrise on the Boxer Reconstruction Project☆51Updated last month
- Kanren with databases☆44Updated last year
- exploration of reflective architectures in Scheme☆21Updated 3 years ago
- ☆41Updated last year
- The Linda process coordination language written in Clojure.☆27Updated 9 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- My adventure into the marvelous world of Web Assembly☆63Updated 7 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Simple educational blockchain in Common LIsp☆62Updated 4 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆118Updated 4 months ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago