Francesco Mazzoli's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
bincode
A binary encoder / decoder implementation in Rust.
bnfc
BNF Converter
boxes
A pretty-printing library for laying out text in two dimensions, using a simple box model.
digest-pure
Pure implementation of the digest package
gipeda
Git Performance Dashboard
haskell-chart
A 2D charting library for haskell
haskell-lang
haskell-lang.org website
hoogle
Haskell API search engine
hoogle-index
Easily generate Hoogle indices for installed packages
hsenv
Virtual Haskell Environment builder
kfusion
This is an implementation sketch of the KinectFusion system described by Newcombe et al.
logger
A fast logging system for Haskell
mersenne-random-pure64
Generate high quality pseudorandom numbers purely using a Mersenne Twister
network
Low-level networking interface
rust-sdl2
SDL2 bindings for Rust
rust-sdl2_image
Rust bindings for sdl2_image
stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
TheiaSfM
An open source library for multiview geometry and structure from motion
yaml
Support for serialising Haskell to and from Yaml.