#dependent-types (18 Repositories)
Ranked open-source repositories tagged with #dependent-types, scored by pull request acceptance likelihood and maintainer engagement velocity.
31.9%
7.0h
18 repositories tagged #dependent-types
mimir/mimir
MimIR is my Intermediate Representation
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
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.
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
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
aya-prover/aya-dev
A proof assistant and a dependently-typed language
brendanzab/language-garden
A garden of small programming language implementations 🪴
DimaSamoz/mezzo
A Haskell library for typesafe music composition
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
ehatti/peridot
A fast functional language based on two level type theory
ditto/ditto
A Super Kawaii Dependently Typed Programming Language
Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
silt-lang/silt
An in-progress fast, dependently typed, functional programming language implemented in Swift.