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 7 months ago
• anoma / geb
  A Categorical View of Computation
  ☆31Updated 6 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 11 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:…
  ☆447Updated 2 months ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆18Updated 11 months ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 8 months ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆36Updated 6 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated last month
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆119Updated 3 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• sorawee / fmt
  A code formatter for Racket
  ☆80Updated last month
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆130Updated 5 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 7 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆72Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆74Updated this week
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆83Updated last week
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated last week
• urbit / hoon-mode.el
  ☆18Updated last year
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 8 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 6 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• defunkydrummer / legochain
  Simple educational blockchain in Common LIsp
  ☆62Updated 4 years ago