Vybe Guide
Sign Up

Explore Projects

Discover 5 open source projects

Active filters (1):
Search: type-theoryร—
Clear all

Showing 1-5 of 5 projects

steshaw/plt

A library for exploring programming language theory, with a focus on lambda calculus and type theory.

5.3K
Archived
CSS
Learning & Education
API Frameworks
Next.js
#programming-language-theory#lambda-calculus#type-theory

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

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

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory, a foundational framework for mathematics and programming

1.4K
Active
Rocq Prover
Backend Frameworks
CLI Tools
#homotopy-type-theory#type-theory#univalent-foundations

Stay in the loop

Get weekly updates on trending AI coding tools and projects.