Packages tagged dependent-types

31 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (22), bsd3 (19), program (14), data (7), data-structures (2), deprecated (2), public-domain (2), compilers-interpreters (1), configuration (1), development (1), gpl (1), language (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Agda1232.5A dependently typed functional programming language and proof assistant (dependent-types, library, program)2017-09-08AndreasAbel, AndresSicardRamirez, NilsAndersDanielsson, UlfNorell
Agda-executable (deprecated in favor of Agda)150.0Command-line program for type-checking and compiling Agda programs (dependent-types, deprecated, program)2012-03-12NilsAndersDanielsson, UlfNorell
MiniAgda110.0A toy dependently typed programming language with type-based termination. (dependent-types, program)2017-02-18AndreasAbel
PandocAgda100.0Pandoc support for literate Agda (bsd3, dependent-types, library, program)2013-03-11PeterDivianszky
Sit100.0Prototypical type checker for Type Theory with Sized Natural Numbers (dependent-types, program)2017-05-16AndreasAbel
agda-server60.0Http server for Agda (prototype) (bsd3, dependent-types, program)2013-10-03PeterDivianszky
agda-snippets70.0Render just the Agda snippets of a literate Agda file to HTML (bsd3, dependent-types, library, program)2017-06-04LiamOConnorDavis
agda-snippets-hakyll100.0Literate Agda support using agda-snippets, for Hakyll pages. (bsd3, dependent-types, library)2017-06-04LiamOConnorDavis
compare-type70.0compare types of any kinds in haskell (bsd3, dependent-types, library)2015-01-10Kinokkory
cubical110.0Implementation of Univalence in Cubical Sets (dependent-types, mit, program)2014-04-27AndersMortberg
dependent-map472.0Dependent finite maps (partial dependent products) (data, dependent-types, library)2016-12-21JamesCook, RyanTrinkle
dependent-sum492.25Dependent sum type (data, dependent-types, library, public-domain)2016-09-02JamesCook, RyanTrinkle
eliminators200.0Dependently typed elimination functions using singletons (bsd3, dependent-types, library)2018-02-14ryanglscott
helf80.0Typechecking terms of the Edinburgh Logical Framework (LF). (dependent-types, program)2016-12-25AndreasAbel
hoq90.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-27valis
idris2082.0Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2018-01-07EdwinBrady
ivor (deprecated in favor of idris)80.0Theorem proving library based on dependent type theory (bsd3, dependent-types, deprecated, library, theorem-provers)2011-06-16EdwinBrady, GwernBranwen
nanoAgda100.0A toy dependently-typed language (dependent-types, program)2012-03-20JeanPhilippeBernardy
open-typerep160.0Open type representations and dynamic types (bsd3, dependent-types, library)2016-05-27EmilAxelsson
parameterized-utils90.0Classes and data structures for working with data-kind indexed types (bsd3, data-structures, dependent-types, library)2017-12-19RobertDockins
pisigma80.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
prim-uniq210.0Opaque unique identifiers in primitive state monads (data, dependent-types, library, public-domain)2011-08-10JamesCook, RyanTrinkle
reflection3192.25Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, dependent-types, library, reflection)2018-01-19EdwardKmett, ryanglscott
show-type90.0convert types into string values in haskell (bsd3, dependent-types, library)2015-01-08Kinokkory
singleton-dict60.0Typelevel balanced search trees via a singletonized Data.Map (bsd3, data, dependent-types, library)2017-06-09ArieMiddelkoop
singleton-nats420.0Unary natural numbers relying on the singletons infrastructure. (bsd3, data, dependent-types, library)2018-05-02AndrasKovacs, ryanglscott
singletons2052.5A framework for generating singleton types (bsd3, dependent-types, library)2018-01-08RichardEisenberg, ryanglscott
type-fun120.0Collection of widely reimplemented type families (bsd3, dependent-types, library)2016-06-11AlekseyUymanov
type-level-bst90.0type-level binary search trees in haskell (bsd3, data-structures, dependent-types, library)2014-10-28Kinokkory
typeparams170.0Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)2015-01-26MikeIzbicki
uAgda310.0A simplistic dependently-typed language with parametricity. (dependent-types, program)2012-03-10JeanPhilippeBernardy