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