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.
  ☆71Updated 8 months ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆18Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆32Updated 6 months ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated this week
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆42Updated last year
• pmatos / racket-binaryen
  Binaryen bindings for Racket
  ☆11Updated 3 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• TODAQopen / toda
  TODA files: an open source cryptographic asset structure
  ☆16Updated 8 months ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 9 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 3 weeks ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆74Updated 3 months ago
• lexi-lambda / talks
  ☆44Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆84Updated this week
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 7 months ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆60Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• mcoblenz / Obsidian
  Obsidian language development
  ☆80Updated last year
• sorawee / fmt
  A code formatter for Racket
  ☆80Updated 2 months ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 4 months ago
• moonad / Moonad
  Moonad: a p2p academic journal, or a social network for code?
  ☆27Updated 2 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated last year
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆43Updated 2 years ago