Here are
169 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
Aug 9, 2020
OCaml
Verification system for effectful programs
Agda is a dependently typed programming language / interactive theorem prover.
Updated
Aug 10, 2020
Haskell
An efficient proof language
Updated
Aug 9, 2020
JavaScript
(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.
A Haskell library for typesafe music composition
Updated
Mar 3, 2019
Haskell
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Updated
Jul 30, 2020
Agda
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Updated
Jul 2, 2019
Swift
Lecture notes on univalent foundations of mathematics with Agda
Updated
Jun 29, 2020
Agda
A function definition package for Coq
A Super Kawaii Dependently Typed Programming Language
Updated
Jul 12, 2018
Haskell
A more elegant language for a more civilized age.
Updated
Aug 9, 2020
Haskell
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Updated
Jul 28, 2020
OCaml
A Compiler for the Popr Language
Contextual types meet mechanized metatheory!
Updated
Jul 26, 2020
OCaml
Proof assistant based on the λΠ-calculus modulo rewriting
Updated
Aug 6, 2020
OCaml
Lecture notes for a short course on proving/programming in Coq via SSReflect.
A framework to define valid deep neural network models and export them to specific languages
Updated
Jul 16, 2020
Haskell
A SuperCompiler for Martin-Löf's Type Theory
Updated
Jun 8, 2020
Scala
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Updated
Jun 22, 2019
Rust
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Updated
Jan 18, 2020
Rust
A workshop on learning Agda with minimal prerequisites.
Updated
May 26, 2016
Agda
Placeholder for the OwO compiler
Updated
Feb 20, 2019
Rust
First-class type families
Updated
Aug 1, 2020
Haskell
Book: Gentle Introduction to Dependent Types with Idris
experiments with
@robkuz LimitedValue type
Trying to get back all the stuff I had in JavaScript.
Updated
Oct 7, 2018
Haskell
Improve this page
Add a description, image, and links to the
dependent-types
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.