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
  ☆30Updated 4 months ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 6 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 9 months ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆18Updated 10 months ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 7 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 weeks ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆128Updated 4 months ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆57Updated 3 weeks ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• TODAQopen / toda
  TODA files: an open source cryptographic asset structure
  ☆15Updated 6 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆36Updated 5 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆41Updated last year
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆14Updated 3 years ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆118Updated last month
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated 6 months ago
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆71Updated this week
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated last month
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆30Updated last week
• starkware-libs / formal-proofs
  ☆57Updated 4 months ago
• 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
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆25Updated last year
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago