-
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 19, 2025 -
-
cubical-mini Public
Forked from cmcmA20/cubical-miniAgda GNU Affero General Public License v3.0 UpdatedDec 17, 2025 -
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 17, 2025 -
-
-
-
-
-
madrid101 Public
Forked from r3nya/madrid101FAQ about Madrid for digital nomads
MDX UpdatedJul 8, 2025 -
-
-
-
-
-
-
au-hs Public
Anti-unification in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2025 -
-
-
-
-
-
-
-
-
-
-
SymmetryBook Public
Forked from UniMath/SymmetryBookThis book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedAug 10, 2023 -
-
{{ message }}