Vybe Guide
Sign Up

Explore Projects

Discover 6 open source projects

Active filters (1):
Search: dependent-types×
Clear all

Showing 1-6 of 6 projects

rocq-prover/rocq

An interactive theorem prover for writing and verifying mathematical definitions and algorithms.

5.4K
Active
OCaml
OCaml
#theorem-prover#proof-assistant#dependent-types

HigherOrderCO/Kind

A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.

3.7K
Archived
Haskell
LLM Frameworks
Backend Frameworks
Haskell
#dependent-types#formality#functional-programming

FStarLang/FStar

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K
Active
F*
Programming Language
API Frameworks
#dependent-types#smt#theorem-proving

idris-lang/Idris2

Purely functional language with dependent types and integrated compiler for type-safe systems programming

2.9K
Active
Idris
Build Tools
Example Projects
Idris
#dependent-types#purely-functional#compiler

agda/agda

Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.

2.8K
Active
Haskell
Programming Languages
API Frameworks
#agda#dependent-types#type-theory

leanprover/lean3

Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.

2.2K
Archived
C++
CLI Tools
API Frameworks
#theorem-proving#type-theory#verification

Stay in the loop

Get weekly updates on trending AI coding tools and projects.