GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → agda → Agda

agda / Agda

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

Programming Languages

haskell
3896 projects
Agda
84 projects
TeX
3793 projects
PostScript
262 projects
HTML
75241 projects
emacs lisp
2029 projects

Labels

type-theoryagda

Projects that are alternatives of or similar to Agda

SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (-93.11%)
Mutual labels:  type-theory, agda
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Stars: ✭ 132 (-92.23%)
Mutual labels:  type-theory, agda
tt-in-cubical
Type Theory in Type Theory using Cubical Agda
Stars: ✭ 12 (-99.29%)
Mutual labels:  type-theory, agda
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Stars: ✭ 92 (-94.59%)
Mutual labels:  type-theory
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-98.12%)
Mutual labels:  type-theory
Pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Stars: ✭ 485 (-71.45%)
Mutual labels:  type-theory
Cooltt
😎TT
Stars: ✭ 85 (-95%)
Mutual labels:  type-theory
MtacAR
Mtac in Agda
Stars: ✭ 29 (-98.29%)
Mutual labels:  agda
Rust Nbe For Mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Stars: ✭ 72 (-95.76%)
Mutual labels:  type-theory
Cubicaltt
Experimental implementation of Cubical Type Theory
Stars: ✭ 461 (-72.87%)
Mutual labels:  type-theory
Typedefs
Programming language agnostic type construction language based on polynomials.
Stars: ✭ 337 (-80.16%)
Mutual labels:  type-theory
agda
The theory of algebraic graphs formalised in Agda
Stars: ✭ 67 (-96.06%)
Mutual labels:  agda
Hott
Homotopy type theory
Stars: ✭ 946 (-44.32%)
Mutual labels:  type-theory
cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Stars: ✭ 93 (-94.53%)
Mutual labels:  agda
Modules Papers
A collection of papers on modules.
Stars: ✭ 74 (-95.64%)
Mutual labels:  type-theory
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
Stars: ✭ 58 (-96.59%)
Mutual labels:  agda
Narc Rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Stars: ✭ 58 (-96.59%)
Mutual labels:  type-theory
Datafun
Research on integrating datalog & lambda calculus via monotonicity types
Stars: ✭ 287 (-83.11%)
Mutual labels:  type-theory
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+80.34%)
Mutual labels:  type-theory
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+171.28%)
Mutual labels:  type-theory
View All Similar Projects ➔
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].