-
-
pandoc-forester Public
Hacky, incomplete Pandoc writer for Forester.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 10, 2026 -
-
-
comprog-hs Public
Competitive programming utilities in Haskell
-
infer-applicative Public
Explorations of inferring a global applicative functor type for DSLs
-
-
-
format-calendar Public
Read course calendar information in a simple Yaml format and output as a Markdown table.
-
drive-turnin Public
Scripts for managing assignments turned in via Google Drive.
-
MonadRandom Public
A monad transformer and corresponding type class for computations which consume random values.
-
-
fused-effects Public
Forked from fused-effects/fused-effectsA fast, flexible, fused effect system for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2025 -
-
-
-
-
ordered-containers Public
Forked from dmwit/ordered-containersSet- and Map-like types that remember the order elements were inserted
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 19, 2025 -
erdosproblems Public
Forked from teorth/erdosproblemsA community database for the problems on the erdosproblems.com site
Python Apache License 2.0 UpdatedSep 1, 2025 -
swarm-defs Public
My personal library of functions for https://github.com/swarm-game/swarm/ .
-
-
enumeration Public
Simple Haskell package for efficiently indexable finite and infinite enumerations.
-
-
-
-
-
lean-core-dump Public
Minimal example showing core dump in Lean4 with import of Mathlib.Control.Bifunctor
-
mkgroups Public
Create breakout groups for a virtual class
-
-
series-formelles Public
Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)
{{ message }}