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/traitcast
Cast between dynamic trait objects
bch29/agda-holes
Agda programming with holes
bch29/language-verification
bch29/modelcheck
Model checking algorithms for logics over transition systems
bch29/simgame
bch29/voronoi
A haskell implementation of Fortune's Algorithm.
bch29/agda-matrices
bch29/agda-quotient
bch29/agda-stdlib
The Agda standard library
bch29/battlebots
Programmable robot battle simulator
bch29/bevy
A refreshingly simple data-driven game engine built in Rust
bch29/blueprint
bch29/bookkeeper
bch29/camfort
Light-weight verification and transformation tools for Fortran. See http://camfort.github.io
bch29/corrode
C to Rust translator
bch29/diagrams-contrib
User-contributed extensions to diagrams
bch29/dynstore
A container for arbitrary castable objects
bch29/gluon
A static, type inferred and embeddable language written in Rust.
bch29/matrix
bch29/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
bch29/oate
bch29/path-algebra
Forked from https://bitbucket.org/curiousleo/path-algebra
bch29/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
bch29/random-fu
A suite of Haskell libraries for representing, manipulating, and sampling random variables
bch29/reciprocal
Recipe organiser and meal planner
bch29/tracer
bch29/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
bch29/Vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
bch29/xi-editor
A modern editor with a backend written in Rust.
bch29/xi_glium
Glium-based front-end to the xi editor