Glow-Lang / glowLinks
The Glow language for Blockchain Decentralized Applications.
☆60Updated 4 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
- Collection of Kind2 programs and proofs☆12Updated last year
- A Categorical View of Computation☆34Updated last week
- Prototype Object Orientation for Gerbil Scheme☆24Updated 3 months ago
- Ethereum support for Gerbil Scheme☆19Updated 6 months ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆62Updated 9 months ago
- Prototypes: Object Orientation, Functionally☆49Updated this week
- An embeddable flow-oriented language.☆72Updated 3 weeks ago
- Collection of Utilities for Gerbil Scheme☆45Updated 3 months ago
- A code formatter for Racket☆83Updated 5 months ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- ☆42Updated 2 years ago
- Domain Specific Languages for Computational Law☆77Updated 6 months ago
- Shen for JavaScript☆61Updated last year
- A collection of core libraries for Racket☆85Updated 5 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 5 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- A Racket package for creating and composing pure functional lenses☆79Updated 6 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆19Updated 6 years ago
- Lisp in WebAssembly☆290Updated 3 months ago
- The Kraken Programming Language☆49Updated last year
- A Racket refactoring engine☆65Updated this week
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- ☆19Updated 2 years ago
- ☆138Updated 3 years ago
- My adventure into the marvelous world of Web Assembly☆74Updated 7 years ago
- ☆57Updated 7 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆28Updated last year