Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
IP Cores written in Kansas Lava
Reification of data structures using observable sharing
A Haskell API into HTML5 Canvas
Netlist and Verilog Haskell Package
A simple interface for building .dot graph files.
Blank Canvas backend for Yampa
A natural transformation package
Tools for 3D models
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
Webpages for the KU FPG
Our Arduino experiments
Lightweight sized types and matrices in Haskell
benchmarks for blank canvas
JSON RPC using the remote monad
Pretty-printing library, with scoping.
Combinators for Strategic Programming
Implementations of the LDPC FEC.
Create, read, update and delete support.
Haskell EDSL for Aframe
Forward Error Correctors
CUDA implementations of LDPC error checking codes.
Haskell's Binary-based remote monad support
Examples of native usage of the accelerate GPGPU API
Haskell Equational Reasoning Model-to-Implementation Tunnel
Pretty printer / DSL for the collada (.dae) file format.