ayberkt
Follow
-
-
-
-
agda-github-action Public
A GitHub action for typechecking Agda code.
-
-
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
Lean Apache License 2.0 UpdatedApr 6, 2026 -
-
martinescardo.github.io Public
Forked from martinescardo/martinescardo.github.ioIntituitional web link redirects to this page now
HTML UpdatedDec 3, 2025 -
-
-
-
-
abt Public
Ocaml port of CMU's ABT library (with various modifications).
-
sequents Public
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
-
-
natural-sciences-forest Public
My forest for natural sciences, built using forester.
-
continuity-bibliography Public
[WIP] An annotated bibliography on the works on continuity principles in type theories.
TeX Other UpdatedAug 31, 2023 -
-
-
MGS-domain-theory Public
Forked from tomdjong/MGS-domain-theoryLecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
TeX UpdatedMar 29, 2023 -
-
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 UpdatedOct 8, 2022 -
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.
Coq Other UpdatedOct 3, 2022 -
CL-PC22 Public
Forked from marcbezem/CL-PC22Coherent Logic at Proof and Computation, 2022
TeX Creative Commons Attribution Share Alike 4.0 International UpdatedSep 27, 2022 -
formal-topology-in-UF Public
Formal Topology in Univalent Foundations (WIP).
-
notes-on-realizability Public
Forked from andrejbauer/notes-on-realizabilityLecture notes on realizability
TeX UpdatedApr 18, 2022 -
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda MIT License UpdatedNov 17, 2020 -
-
instiki Public
Forked from parasew/instikia basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.
JavaScript UpdatedSep 29, 2020