Alternatives and similar repositories for glow

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

• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆77Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 3 weeks ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆62Updated 5 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• mbrock / wisp
  Lisp in WebAssembly
  ☆276Updated 7 months ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated 2 weeks ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆63Updated 7 years ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆19Updated 3 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last month
• axellang / axel
  Haskell + Lisp
  ☆212Updated last year
• sorawee / fmt
  A code formatter for Racket
  ☆82Updated last month
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• TODAQopen / toda
  TODA files: an open source cryptographic asset structure
  ☆17Updated last month
• zyrolasting / denxi
  Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…
  ☆60Updated 2 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆66Updated this week
• lexi-lambda / talks
  ☆45Updated 2 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆44Updated this week
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆451Updated 6 months ago
• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆86Updated 2 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year