-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 29, 2025 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedOct 17, 2025 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedOct 5, 2025 -
agda-stdlib-meta Public
Forked from agda/agda-stdlib-metaMeta-programming utilities for Agda.
Agda MIT License UpdatedJun 24, 2025 -
-
-
-
-
iog-agda-prelude Public
Forked from input-output-hk/iog-agda-preludeSupplementary types and functions for the Agda prelude
Agda Apache License 2.0 UpdatedMay 9, 2025 -
cardano-formal-specifications Public
Forked from IntersectMBO/cardano-formal-specificationsTeX UpdatedMar 17, 2025 -
Dissection-thesis Public
My MSc Thesis on: Verified tail-recursive folds through dissection
-
-
-
-
-
-
-
-
TypeTopology Public
Forked from martinescardo/TypeTopologyLogical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Agda GNU General Public License v3.0 UpdatedJan 12, 2023 -
-
k Public
Forked from nachivpn/kMechanization of Fitch-style Intuitionistic K
Agda UpdatedMar 17, 2022 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedJun 11, 2021 -
-
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda MIT License UpdatedMar 17, 2021 -
ipl Public
Forked from andreasabel/iplAgda formalization of Intuitionistic Propositional Logic
TeX The Unlicense UpdatedJul 22, 2020 -
-
cat Public
Forked from fredefox/catA formalization of category theory in cubical Agda
Agda UpdatedApr 29, 2020 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix
Nix MIT License UpdatedApr 27, 2020 -
hnix Public
Forked from haskell-nix/hnixA Haskell re-implementation of the Nix expression language
Nix BSD 3-Clause "New" or "Revised" License UpdatedApr 14, 2018
{{ message }}