Highlights
- Pro
-
semilattices Public
join and meet semilattices, lower and upper bounds.
-
-
seq Public
a µµ̃ calculus with pretty-printing and evaluating interpreters
-
derivative-parsing Public
Parsing with Derivatives, in Haskell, with GADTs.
-
isometry Public
programmatic voxels
-
sequoia Public
classical sequent calculus, embedded in Haskell
-
silkscreen Public
Prettyprinting transformers for rainbow parens, precedence, etc.
-
-
-
continuations Public
Continuations, CPS, co-functions, and combinators for working with them
-
effect-calculus Public
Specification and implementation of an effect calculus
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 13, 2021 -
these Public
Forked from haskellari/theseAn either-or-both data type, with corresponding hybrid error/writer monad transformer.
Haskell UpdatedMar 12, 2021 -
starlight Public
spaceships in space
-
interval-functor Public
General purpose intervals of functors.
-
lingo-haskell Public
Forked from tclem/lingo-haskellHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 20, 2020 -
haskell-opentype Public
Forked from kuribas/haskell-opentypetruetype loading and writing in haskell
Haskell MIT License UpdatedJul 18, 2020 -
-
languages-all-the-way-down Public
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
-
language-haskell Public
Forked from JustusAdam/language-haskellHighlighting support for the Haskell language in visual studio code.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 30, 2020 -
tilec Public
Sometimes when I feel sad I implement a dependently typed lambda calculus.
-
semiring-parsing Public
Parsing in semirings
-
path Public
A lambda calculus to explore type-directed program synthesis.
-
swagger2 Public
Forked from GetShopTV/swagger2Swagger 2.0 data model.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 3, 2019 -
dragon Public
Renders iterations of the dragon curve to SVG
-
elab Public
Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration
-
cabal-action Public
GitHub Actions for cabal new-build
-
synth Public
Audio synthesis and sequencing
-
raytracer Public
A toy raytracer in Haskell
-
Manifold Public
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
-
text-gl Public
Text, rendered with OpenGL.