Alternatives and similar repositories for glow

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

• anoma / geb
  A Categorical View of Computation
  ☆33Updated last week
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 3 months ago
• mbrock / wisp
  Lisp in WebAssembly
  ☆278Updated last week
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated last week
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆62Updated 6 months ago
• brainrake / responsible
  Idris 2 HTTP Api Server
  ☆15Updated 3 years ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆19Updated 3 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated 3 weeks ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 3 weeks ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆63Updated 7 years ago
• sorawee / fmt
  A code formatter for Racket
  ☆82Updated 2 months ago
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• lexi-lambda / talks
  ☆45Updated 2 years ago
• axellang / axel
  Haskell + Lisp
  ☆212Updated last year
• TODAQopen / toda
  TODA files: an open source cryptographic asset structure
  ☆17Updated 2 months ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆44Updated 3 weeks ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• urbit / hoon-mode.el
  ☆19Updated 2 years ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• 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:…
  ☆453Updated 7 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• pmatos / racket-binaryen
  Binaryen bindings for Racket
  ☆11Updated 3 years ago