-
Stars2
-
LanguageHaskell
-
Created about 6 years ago
-
Updated over 5 years ago
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.hawk
Haskell text processor for the command-linegit-slides
Text-based slides using vim and git.klister
an implementation of stuck macroscategory-syntax
do-notation for Category and "Arrow without arr"typelevel-rewrite-rules
rewrite rules for type-level equalitieslinear-examples
Example uses of linear typesn-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.conway
Demonstrating comonad transformers.hyzzy
A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.ludum-dare-31
The theme for LD31 was "Entire Game on One Screen"magic-typelevel-elem
Demonstrating how to make type families faster using typechecker pluginscabal-rangefinder
A tool to fill in the version ranges in a cabal file.mastering-haskell
The slides for my Packt course, "Mastering Haskell".commutative
Using Haskell's type system to guarantee commutativity.laughable
Clowns to the left of me, jokers to the rightsurjective
An output coverage checkerstrongly-typed-bound
My version of Kmett's "strongly typed bound for acowley" snippet.deploy-hint
Demonstrating that you don't need to install ghc in order to use the hint library.circular-sig
a twelf-like type-checker supporting recursive signaturesgiggles-is-you
A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.objc2java
Convert pure ObjectiveC code to pure Java code, libraries be damned.ludum-dare-35
The theme for LD35 was: "shapeshift"nominalize
Generate types using type-generic programming, retaining control over the names of the constructors and the fields.image-watcher
Display an image and update it when the file changesludum-dare-34
The themes for LD34 were: "two button controls" and "growing"apecs-hint-demo
demonstrating how to use hint to dynamically modify the game world of an apecs-based gameslides
A place to host my git-slides presentationsstm-variants
The STM API we know and love, but useable in more circumstancesdot-utils
A set of small command-line tools for transforming GraphViz dot-filesk-playground
for implementing toy languages using the K Frameworkacme-circular-containers
Spineless containers which are fast to read but inefficient to updatejira-dependencies
from JIRA's .csv export to graphviz's dot formattarjan
an agda implementation of Tarjan's strongly connected components algorithmchopt-test-task
worldly
based on Conor McBride's "Worldly Type Systems" talkludum-dare-44
The theme for LD44 was "Your life is currency"agda-playground
a series of ambitious experiments in the functional language / proof assistant Agda.transliterator
premonoidal
Agda encoding of premonoidal categoriessubmake
Use git to replay part of a bash pipeline.directed-graph-ui
A tool for creating directed graphs.queues
Compare the performance of a few Haskell queue implementations.ice-cream-privacy
hs-promote
C++-style type promotion for Haskell's numeric hierarchyreactive-banana-anti-tutorial
companion code for my blog posthint-demo
trie-based-frp
An implementation of higher-order FRP based on shared tries instead of unsafePerformIO.glut-events
For writing GLUT's main loop in the style of Haskell's main function.acme-tiny-rules
a parody of Tiny Glade with inference rules instead of castlesrelocation-bug
raml
contravariant-case
An API for Divisible and Decidable which looks like pattern-matching.ludum-dare-42
The theme for LD42 was "Running out of Space"adicity
A DSL in which composition and application are unified.stack-bug
A demonstration of a bug which doesn't fit in a gist because it requires directories.free-premonoidal
existentials
A type-level DSL for placing existential constraints on some arguments of a type constructorhaskell-code-explorer-bug
a minimal reprocroportunity-cost
A game about clicking and not clicking on plants.ludum-dare-43
timesheet
Simple text-based time trackingpure-framework-chat
tic-tac-top
The AI for a tiny board game I invented.face-down
install-before-test
How to configure project.cabal so that tests are run after the install.memento
Write a Virtual DOM for anything!dotfiles
My default setup, including config files and shell scripts.gif-browser
a tiny application for browsing through the frames of an animated gif.lens-syntax
Pointful syntax for optic compositionstypechecker-combinators
Love Open Source and this site? Check out how you can help us
