Glow-Lang / glowLinks
The Glow language for Blockchain Decentralized Applications.
☆60Updated 2 months ago
Alternatives and similar repositories for glow
Users that are interested in glow are comparing it to the libraries listed below
Sorting:
- Lisp implementation of Lurk.☆78Updated last year
- A Categorical View of Computation☆33Updated last week
- Collection of Kind2 programs and proofs☆12Updated last year
- Lisp in WebAssembly☆284Updated last month
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated this week
- Prototype Object Orientation for Gerbil Scheme☆24Updated 2 months ago
- TODA files: an open source cryptographic asset structure☆17Updated 3 months ago
- Ethereum support for Gerbil Scheme☆19Updated 5 months ago
- My adventure into the marvelous world of Web Assembly☆72Updated 7 years ago
- The Kraken Programming Language☆49Updated last year
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆453Updated 8 months ago
- Prototypes: Object Orientation, Functionally☆47Updated this week
- Shen for JavaScript☆61Updated last year
- ☆19Updated 2 years ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆62Updated 7 months ago
- A language for intent-centric and declarative decentralised applications☆504Updated 2 weeks ago
- ☆42Updated last year
- Haskell + Lisp☆213Updated last year
- The WebScheme compiler☆39Updated 6 months ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- Collection of Utilities for Gerbil Scheme☆45Updated 2 months ago
- An embeddable flow-oriented language.☆71Updated 3 weeks ago
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- A code formatter for Racket☆82Updated 3 months ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- A Racket refactoring engine☆65Updated this week
- A collection of core libraries for Racket☆84Updated 4 months ago