mboes

Mathieu Boespflug's repositories

Language:Haskell000

Tests for network-transport implementations

Language:HaskellBSD-3-Clause000

Burndown charts for Asana.

AGPL-3.0100

Like Data.Dynamic and Data.Typeable but supporting polymorphic values

Language:HaskellBSD-3-Clause000

Generic Network.Transport API

Language:HaskellBSD-3-Clause000

Cloud Haskell Platform

Language:HaskellBSD-3-Clause000

Emacs mode for Haskell

Language:Emacs Lisp000

Official upstream development repository for Cabal and cabal-install

Language:HaskellNOASSERTION100

TCP Realisation of Network.Transport

Language:HaskellBSD-3-Clause000

Assembler and dissassembler for ARM in Haskell.

Language:HaskellLGPL-3.0400

A type-checker for the λΠ-modulo calculus.

Language:HaskellGPL-3.01000

A library for parsing/printing vCards from/to various formats.

Language:HaskellLGPL-3.0500

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

Language:OCamlLGPL-2.1500

A pure Haskell implementation of the 9p protocol, server and client.

Language:HaskellNOASSERTION300

An efficient, embeddable DPLL SAT solver in Haskell

Language:HaskellLGPL-3.0200