Alternatives and similar repositories for geb

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

• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆136Updated 8 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 10 months ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• anoma / juvix-stdlib
  The Juvix standard library
  ☆15Updated last week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆71Updated 2 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆53Updated last week
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆37Updated 9 months ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆120Updated this week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆83Updated last week
• AU-COBRA / coq-rust-extraction
  Coq plugin for extracting Rust code
  ☆14Updated 2 weeks ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆29Updated 9 months ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆75Updated 8 months ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 7 months ago
• btq-ag / keelung
  The Keelung Language
  ☆51Updated 10 months ago
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆89Updated 4 years ago
• ankushdas / Nomos
  This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
  ☆23Updated 2 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 8 months ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆59Updated 2 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 6 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆170Updated 5 months ago