-
-
futhark Public
Forked from diku-dk/futhark💥💻💥 A data-parallel functional programming language
Haskell ISC License UpdatedJun 2, 2025 -
reasonablypolymorphic.com Public
⏳ my math blog
-
-
-
-
-
-
lca Public
Forked from ekmett/lcaImproves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
Haskell Other UpdatedJan 27, 2025 -
sandymaguire.me Public
http://sandymaguire.me
-
-
-
arbtt Public
Forked from nomeata/arbttarbtt, the automatic rule-based time-tracker
-
ldtk-types Public
Types for ldtk
-
alga Public
Forked from snowleopard/algaAlgebraic graphs
-
certainty-by-construction Public
Source material for Certainty by Construction
-
design-tools Public
tools for design and interpretation of haskell programs
-
-
-
nspace Public C150
Abstract data structures for representations of R2 and R3
-
murmur-hash Public
Forked from nominolo/murmur-hash[New maintainer needed] MurmurHash2 implementation in Haskell
Haskell Other UpdatedDec 10, 2023 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 5, 2023 -
-
end Public
Forked from lucalabs-de/endLightweight notification daemon displaying notifications as EWW widgets
Haskell MIT License UpdatedNov 26, 2023 -
-
algebra-driven-design Public
Source material for Algebra-Driven Design
-
-
-
-
{{ message }}