#dependent-types (14 Repositories)
Ranked open-source repositories tagged with #dependent-types, scored by pull request acceptance likelihood and maintainer engagement velocity.
29.6%
91.8h
14 repositories tagged #dependent-types
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
mimir/mimir
MimIR is my Intermediate Representation
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
leopiney/tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
HigherOrderCO/Kind
A modern proof language
Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
ditto/ditto
A Super Kawaii Dependently Typed Programming Language
ehatti/peridot
A fast functional language based on two level type theory
DimaSamoz/mezzo
A Haskell library for typesafe music composition
brendanzab/language-garden
A garden of small programming language implementations 🪴