-
-
-
cubical-mini Public
Forked from cmcmA20/cubical-miniAgda GNU Affero General Public License v3.0 UpdatedMay 16, 2025 -
-
-
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 13, 2025 -
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 29, 2025 -
-
au-hs Public
Anti-unification in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2025 -
-
madrid101 Public
Forked from r3nya/madrid101FAQ about Madrid for digital nomads
MDX UpdatedNov 29, 2024 -
-
-
-
-
-
-
-
-
-
-
-
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 -
haskell-chart Public
Forked from timbod7/haskell-chartA 2D charting library for haskell
Haskell UpdatedJun 6, 2023 -
-
-
smtcoq Public
Forked from smtcoq/smtcoqCommunication between Coq and SAT/SMT solvers
OCaml Other UpdatedApr 19, 2023
{{ message }}