-
-
-
-
plutus Public
Forked from IntersectMBO/plutusThe Plutus language implementation and tools
Haskell Apache License 2.0 UpdatedMar 15, 2023 -
cardano-updates Public
Forked from IntersectMBO/cardano-updatesNix Apache License 2.0 UpdatedFeb 11, 2023 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Haskell MIT License UpdatedOct 21, 2020 -
generic-syntax Public
Forked from gallais/generic-syntaxA Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Agda GNU General Public License v3.0 UpdatedOct 29, 2019 -
-
-
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda.
Agda UpdatedSep 10, 2018 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedDec 28, 2017 -
CS410-17 Public
Forked from pigworker/CS410-17being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Agda UpdatedSep 19, 2017 -
-
-
restriction-categories Public
A formalisation of Restriction Categories in Agda
-
-
-
Big-step-Normalisation Public
Agda formalisations of some big-step normalization proofs
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedApr 21, 2016 -
MSPweb Public
Forked from msp-strath/MSPwebbeing the shared sources and generated html for the MSP website
HTML UpdatedFeb 9, 2016 -
-
-
Foogle.Charts Public
Forked from fsprojects-archive/zzarchive-Foogle.ChartsEasy to use F# wrapper for Google Charts visualization library
F# Other UpdatedSep 10, 2014 -
fsharp.github.io Public
Forked from fsharp/zzarchive-fsharp.github.ioF# GitHub Community Webpages
F# UpdatedJun 18, 2014 -
lambda-calculus Public
Forked from hendrikmaarand/lambda-calculusFormalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
Agda UpdatedJun 2, 2014 -
-
ITT9200 Public
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann
-
-
Number-Theory Public
Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
2 UpdatedMar 2, 2012
{{ message }}