-
-
-
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda MIT License UpdatedFeb 7, 2023 -
-
typing-linear-pi Public
Forked from umazalakain/typing-linear-piTyping the linear pi calculus in Agda
TeX MIT License UpdatedNov 5, 2021 -
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJan 21, 2020 -
-
-
-
agda-ocaml Public
Forked from agda-attic/agda-ocamlOCaml backend for Agda
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJun 15, 2019 -
-
-
-
LTL Public
Linear Temporal Logic (in Agda)
Agda GNU Affero General Public License v3.0 UpdatedMar 31, 2019 -
typing-with-leftovers Public
Forked from gallais/typing-with-leftoversSelf-contained repository for the eponymous paper
Agda GNU General Public License v3.0 UpdatedJan 11, 2019 -
-
-
tla-agda Public
Trying to implement TLA in agda.
Agda GNU Affero General Public License v3.0 UpdatedOct 30, 2018 -
mirage-agda-examples Public
Examples from mirage-skeleton in Agda.
-
agda-prelude Public
Forked from UlfNorell/agda-preludeProgramming library for Agda
Agda MIT License UpdatedOct 15, 2018 -
-
-
IncludeOS Public
Forked from includeos/IncludeOSA minimal, resource efficient unikernel for cloud services
C++ Apache License 2.0 UpdatedJan 8, 2018 -
agda-nofib Public
Forked from UlfNorell/agda-nofibBenchmark programs for Agda
Agda UpdatedDec 20, 2017 -
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedNov 22, 2017
{{ message }}