rzk
by rzk-lang
An experimental proof assistant based on a type theory for synthetic ∞-categories.
AI summary
Proof assistant
A proof assistant based on a type theory for synthetic ∞-categories.
- stars
- 212
- forks
- 10
- watching
- 10
Similar projects
Found by comparing what the projects do, not just their names.
Programming language
A programming language and proof assistant built on top of Rust.
Proof assistant
An interactive proof assistant designed to help with educational mathematics
Category theory formalization
An implementation of category theory in the Coq proof assistant.
Proof Assistant
A proof assistant with a formal system for verifying mathematical theorems and proofs
Proof automation tool
Automates goal preprocessing in proof automation tactics using a custom-built tool
Type theory engine
A theorem prover and a programming language based on Homotopy Type Theory
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Haskell AI library
An implementation of popular AI algorithms in the Haskell programming language
GPU-accelerated proof generator
A high-performance library for accelerating zero-knowledge proof generation operations on GPUs
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
ekmett/hask163
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
Type theory project
An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features
