n
Repositories
Select a repository to view its commits, contributors, and more.public
ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Haskell
107
10
29
Updated a month ago
public
hx
Bitcoin CLI tools: Haskell port of Sx using Haskoin
Shell
13
11
0
Updated 2 months ago
public
camllexer
An independant OCaml lexer, extracted from OCaml/Camlp4
OCaml
11
2
0
Updated 2 months ago
public
names-for-free
TeX
8
3
0
Updated a year ago
public
hlatex
LaTeX document builder for Haskell
Haskell
6
0
0
Updated a year ago
public
mbox-tools
A collection of command line tools on the mbox format
Haskell
6
0
1
Updated 2 years ago
public
strict-io
A thin layer on top standard IO modules like System.IO and Data.IORef that re-expose strict functions using the SIO monad
Haskell
5
0
0
Updated 2 years ago
public
servant-job
Job API in Haskell Servant
Haskell
4
4
3
Updated 4 years ago
public
tdoc
TDoc is a typed document builder with support for (X)HTML
Haskell
4
0
0
Updated 5 years ago
public
mime-bytestring
A for of the mime haskell package to work on bytestrings as well
Haskell
3
1
0
Updated 5 years ago
public
xcompose
XCompose configuration file and its generator
Haskell
3
2
1
Updated a year ago
public
patches-map
A library for patches (diffs) on maps: composable, mergeable and invertible
Haskell
3
1
1
Updated 4 years ago