-
-
cubical-mini Public
Forked from cmcmA20/cubical-miniAgda GNU Affero General Public License v3.0 UpdatedOct 29, 2025 -
-
-
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 4, 2025 -
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 3, 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 -
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJun 9, 2023
{{ message }}