-
cubical-mini Public
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJun 13, 2025 -
openwrt Public
Forked from john-tho/openwrtThis repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests…
C Other UpdatedDec 23, 2024 -
heftia Public
Forked from sayo-hs/heftiahigher-order algebraic effects done right for Haskell
Haskell Mozilla Public License 2.0 UpdatedDec 17, 2024 -
data-effects Public
Forked from sayo-hs/data-effectsA basic framework for an effect system based on effects represented by GADTs.
Haskell Mozilla Public License 2.0 UpdatedDec 17, 2024 -
compdata Public
Forked from pa-ba/compdataHaskell library implementing "Data Types a la Carte"
Haskell Other UpdatedDec 17, 2024 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedAug 24, 2024 -
-
mec-tools Public
Forked from eigenmatt/mec-toolsTools for modifying Lenovo embedded controller firmware
C The Unlicense UpdatedMay 29, 2024 -
sinCT Public
dabbling in julia cats
Julia GNU Affero General Public License v3.0 UpdatedMay 21, 2024 -
agda-categories Public
Forked from agda/agda-categoriesA new Categories library for Agda
Agda MIT License UpdatedDec 26, 2023 -
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedNov 20, 2023 -
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedNov 2, 2023 -
logrel-guarded Public
Forked from clayrat/logrel-guardedGuarded logical relations
Agda UpdatedOct 30, 2023 -
-
agda-bench Public
Forked from UlfNorell/agda-benchBenchmarking tool for compile-time performance of Agda programs
Haskell MIT License UpdatedFeb 21, 2023 -
-
-
-
-
plfa Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedNov 2, 2022 -
-
ternary.agda Public
Forked from ajrouvoet/ternary.agdaAn Agda library for programming with ternary relations
Agda UpdatedJun 30, 2022 -
agdarsec Public
Forked from gallais/agdarsecTotal Parser Combinators in Agda
Agda GNU General Public License v3.0 UpdatedJun 30, 2022 -
logrel-mltt Public
Forked from mr-ohman/logrel-mlttA Logical Relation for Martin-Löf Type Theory in Agda
Agda MIT License UpdatedMay 8, 2022 -
-
-
-
-
{{ message }}