Awesome Open Source

Programming Languages

Search results for dependent types type theory

dependent-types x

24 search results found

A next-gen functional language

Agda is a dependently typed programming language / interactive theorem prover.

Lean3 ⭐ 2,138

Lean Theorem Prover

Pikelet ⭐ 507

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Peridot ⭐ 388

A fast functional language based on two level type theory

Hott Uf Agda Lecture Notes ⭐ 204

Lecture notes on univalent foundations of mathematics with Agda

Path_semantics ⭐ 156

A research project in path semantics, a re-interpretation of functions for expressing mathematics

A Super Kawaii Dependently Typed Programming Language

Cicada Solo ⭐ 125

Cicada Language (solo version)

A SuperCompiler for Martin-Löf's Type Theory

Cicada Language

Rust Nbe For Mltt ⭐ 78

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Voile Rs ⭐ 74

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Minitt Rs ⭐ 68

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Towards changing things and see if it proofs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

Agda Algebras ⭐ 24

The Agda Universal Algebra Library (html docs available at the url below)

Coq Guarded Computational Type Theory ⭐ 17

dependently-typed lisp with flexible compiler backends

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

A PTS Supporting Induction

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Isabelle Spartan ⭐ 6

A dependent type theory logic for Isabelle

A dependently typed programming language prototype

Related Searches

Types Type Theory (84)

Haskell Dependent Types (62)

Agda Type Theory (43)

Programming Language Dependent Types (36)

Language Dependent Types (33)

Haskell Type Theory (31)

Coq Type Theory (31)

Functional Programming Dependent Types (29)

Agda Dependent Types (27)

Programming Language Type Theory (27)

1-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.