konn Goto Github PK

playlambda

Play your own/favourite games with your friends, while styaing at home

plist-ng

Yet another macOS's Property List XML parser in Haskell

polyfunctor

An attempt to generalize Functors or Bifunctors to n-ary funtors.

polymorphic-bulk-update

polymorphic-foldl

An attempt to formalise Beautiful Folding more polymorphically

presburger

Decision procedures for Presburger arithmetic in Haskell

presburger-dfa

Presburger arithmetic solver using Automata Theory, in Haskell

programmable-snippet-provider

qsrubymodule

Ruby module for Quicksilver

quasi-quote-examples

Examples for my article

random-eff

A simple random number generator for extensible effects

random-effin

A simple random generator for effin

reactive-objc

Tiny example combining FRP with objective-c via language-c-inline

realisability

A hobby project to pursue a cubical formalisation of realisability

realisability-note

My old manuscript of survey on classical realisability

refresht

Environment Monad with automatic resource refreshment

regex-applicative-foldl

A brdige package for foldl and regex-applicative package

regex-vm

VM-based regular expression matching, expressed as Free constructions.

remove-dupe

Removes the file with the same content

representable-tries

representable tries

rubitter

Pure ruby library to access Twitter API

ruby-haskell

A library to use Haskell's ++ operator in Ruby.

rupircd

RUby Pseudo IRC Daemon

safe-printf

Well-typed, flexible and variadic printf in Haskell.

sake

Sake is a static-site generator built on top of the Shake build system.

satysfi

A statically-typed, functional typesetting system

satysfi-steamer

Steamer: presentation in SATySFi

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

sdg-agda

Synthetic Differential Geometry in Agda

singletons

The repo for the singletons Haskell library