Packages tagged dependent-types

53 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (43), bsd3 (34), data (19), program (17), gpl (6), singletons (5), deprecated (4), mit (4), data-structures (2), development (2), language (2), lens (2), math (2), optics (2), public-domain (2), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Agda4122.75A dependently typed functional programming language and proof assistant (dependent-types, program)2022-04-02AndreasAbel, AndresSicardRamirez, NilsAndersDanielsson, UlfNorell
Agda-executable (deprecated in favor of Agda)130.0Command-line program for type-checking and compiling Agda programs (dependent-types, deprecated, program)2012-03-12NilsAndersDanielsson, UlfNorell
MiniAgda212.0A toy dependently typed programming language with type-based termination. (dependent-types, mit, program)2022-03-11AndreasAbel
PandocAgda40.0Pandoc support for literate Agda (bsd3, dependent-types, library, program)2013-03-11PeterDivianszky
Sit180.0Prototypical type checker for Type Theory with Sized Natural Numbers (dependent-types, library, program)2022-03-18AndreasAbel
aeson-dependent-sum30.0JSON encoding/decoding for dependent-sum (data, dependent-types, gpl, json, library)2022-08-27jack
agda-server50.0Http server for Agda (prototype) (bsd3, dependent-types, program)2013-10-03PeterDivianszky
agda-snippets (deprecated in favor of Agda)120.0Render just the Agda snippets of a literate Agda file to HTML (bsd3, dependent-types, deprecated, library, program)2017-06-04LiamOConnorDavis
agda-snippets-hakyll (deprecated in favor of Agda)100.0Literate Agda support using agda-snippets, for Hakyll pages. (bsd3, dependent-types, deprecated, library)2017-06-04LiamOConnorDavis
agda-unused150.0Check for unused code in an Agda project. (dependent-types, library, mit, program)2022-11-26msuperdock
agda2lagda140.0Translate .agda files into .lagda.tex files. (dependent-types, development, program)2021-06-01AndreasAbel
bin1540.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2022-01-03phadej
compare-type40.0compare types of any kinds in haskell (bsd3, dependent-types, library)2015-01-10Kinokkory
cubical100.0Implementation of Univalence in Cubical Sets (dependent-types, mit, program)2014-04-27AndersMortberg
dec2410.0Decidable propositions. (bsd3, data, dependent-types, library)2022-08-21phadej
decidable180.0Combinators for manipulating dependently-typed predicates. (bsd3, dependent-types, library)2020-02-03jle
dependent-map1622.5Dependent finite maps (partial dependent products) (data, dependent-types, library)2020-03-27BertramFelgenhauer, JamesCook, RyanTrinkle, abrar, 3noch
dependent-sum1822.25Dependent sum type (data, dependent-types, library, public-domain)2020-03-25BertramFelgenhauer, JamesCook, RyanTrinkle, abrar, 3noch, DanBornside
eliminators470.0Dependently typed elimination functions using singletons (bsd3, dependent-types, library)2022-08-23ryanglscott
fin1932.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2022-01-03phadej
helf100.0Typechecking terms of the Edinburgh Logical Framework (LF). (dependent-types, mit, program)2022-05-30AndreasAbel
hoq40.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-27valis
idris742.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-22EdwinBrady, niklasl
instance-map20.0Template haskell utilities for helping with deserialization etc. of existential types (bsd3, dependent-types, library)2018-07-23rwarfield
ivor (deprecated in favor of idris)20.0Theorem proving library based on dependent type theory (bsd3, dependent-types, deprecated, library, theorem-provers)2011-06-16EdwinBrady, GwernBranwen
lens-typelevel40.0Type-level lenses using singletons (bsd3, dependent-types, lenses, library)2018-10-29jle
list-witnesses50.0Witnesses for working with type-level lists (bsd3, dependent-types, library)2019-08-26jle
nanoAgda20.0A toy dependently-typed language (dependent-types, program)2012-03-20JeanPhilippeBernardy
open-typerep50.0Open type representations and dynamic types (bsd3, dependent-types, library)2016-05-27EmilAxelsson
parameterized-utils512.0Classes and data structures for working with data-kind indexed types (bsd3, data-structures, dependent-types, library)2022-03-08KevinQuick, RobertDockins, galoisinc
pisigma70.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
prim-uniq480.0Opaque unique identifiers in primitive state monads (data, dependent-types, library, public-domain)2020-04-15BertramFelgenhauer, JamesCook, RyanTrinkle
ral1620.0Random access lists (data, dependent-types, gpl, library, singletons)2022-01-03phadej
ral-lens20.0Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2021-02-28phadej
ral-optics10.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2021-02-28phadej
reflection1702.25Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, dependent-types, library, reflection)2020-05-16EdwardKmett, ryanglscott
show-type70.0convert types into string values in haskell (bsd3, dependent-types, library)2015-01-08Kinokkory
singleton-dict10.0Typelevel balanced search trees via a singletonized Data.Map (bsd3, data, dependent-types, library)2017-06-09ArieMiddelkoop
singleton-nats140.0Unary natural numbers relying on the singletons infrastructure. (bsd3, data, dependent-types, library)2021-03-12AndrasKovacs, ryanglscott
singletons1852.75Basic singleton types and definitions (bsd3, dependent-types, library)2022-08-23RichardEisenberg, ryanglscott
singletons-base670.0A promoted and singled version of the base library (bsd3, dependent-types, library)2022-08-23ryanglscott
singletons-th720.0A framework for generating singleton types (bsd3, dependent-types, library)2022-08-23ryanglscott
some4310.0Existential type: Some (bsd3, data, dependent-types, library)2022-10-05RyanTrinkle, phadej
symbols150.0Symbol manipulation (bsd3, dependent-types, library)2019-09-10kcsongor
tensor-safe42.0Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-03leopiney
type-equality1060.0Data.Type.Equality compat package (bsd3, data, dependent-types, library)2019-09-06ErikHesselink, phadej, ryanglscott
type-fun240.0Collection of widely reimplemented type families (bsd3, dependent-types, library)2021-06-04AlekseyUymanov
type-level-bst50.0type-level binary search trees in haskell (bsd3, data-structures, dependent-types, library)2014-10-28Kinokkory
typeparams40.0Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)2015-01-26MikeIzbicki
uAgda30.0A simplistic dependently-typed language with parametricity. (dependent-types, program)2012-03-10JeanPhilippeBernardy
vec330.0Vec: length-indexed (sized) list (bsd3, data, dependent-types, library)2022-01-03phadej
vec-lens20.0Vec: length-indexed (sized) list: lens support (bsd3, data, dependent-types, lens, library)2021-02-28phadej
vec-optics40.0Vec: length-indexed (sized) list: optics support (bsd3, data, dependent-types, library, optics)2021-02-28phadej