dependent-types
Here are 256 public repositories matching this topic...
Coq is a formal proof management system. 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.
-
Updated
May 27, 2024 - OCaml
Agda is a dependently typed programming language / interactive theorem prover.
-
Updated
May 27, 2024 - Haskell
A purely functional programming language with first class types
-
Updated
May 26, 2024 - Idris
A Proof-oriented Programming Language
-
Updated
May 26, 2024 - F*
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
Updated
May 24, 2024
Language mixing functional programming and Ambient Calculus
-
Updated
May 24, 2024
A function definition package for Coq
-
Updated
May 25, 2024 - Coq
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
-
Updated
May 23, 2024 - OCaml
Dependently-typed range-checked numbers for Scala
-
Updated
May 22, 2024 - Scala
The Agda Universal Algebra Library (html docs available at the url below)
-
Updated
May 24, 2024 - Agda
Cicada Language (PLCT little team)
-
Updated
May 17, 2024 - TypeScript
Proof assistant based on the λΠ-calculus modulo rewriting
-
Updated
May 17, 2024 - OCaml
A next-gen functional language
-
Updated
May 17, 2024 - Rust
The Higher ORder INtermediate representation - next gen
-
Updated
May 16, 2024 - C++
Cicada Language (solo version)
-
Updated
May 11, 2024 - TypeScript
Accelerated machine learning with dependent types
-
Updated
May 28, 2024 - Idris
A work-in-progress core language for Agda, in Agda
-
Updated
May 19, 2024 - Agda
Contextual types meet mechanized metatheory!
-
Updated
May 8, 2024 - OCaml
Universal Data design and transform language core
-
Updated
May 23, 2024 - Scala
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."