Pinned Repositories
agda-holes
Agda programming with holes
agda-logic
A library for verified symbolic logic manipulation
agda-matrices
language-verification
modelcheck
Model checking algorithms for logics over transition systems
robo-monad
Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
streaming-png
Perfectly streaming PNG image decoding.
traitcast
Cast between dynamic trait objects
twos-ai
voronoi
A haskell implementation of Fortune's Algorithm.
bch29's Repositories
bch29/robo-monad
Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
bch29/streaming-png
Perfectly streaming PNG image decoding.
bch29/twos-ai
bch29/agda-logic
A library for verified symbolic logic manipulation
bch29/bch-agda-prelude
An Agda prelude based on the standard library
bch29/bdd
Binary decision diagram boolean satisfiability solver in Haskell
bch29/cassandra-th
bch29/cc2016_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
bch29/diagrams-lib
Diagrams standard library
bch29/GPipe-GLFW
Manage an OpenGL context via GLFW for GPipe-Core
bch29/haskell-mode
Emacs mode for Haskell
bch29/Haskell-MVC-Library
Model-view-controller
bch29/mandelbrot
bch29/netwire-input
A library of wires that provide keyboard, mouse, and joystick input.
bch29/netwire-input-glfw
MonadInput instances for GLFW based netwire programs
bch29/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
bch29/WordGame
OOP Supervision 4 example code