michaelbeaumont/rust
a safe, concurrent, practical language
Developer Profile
michaelbeaumont
Discovered public repositories for michaelbeaumont in the GitHub catalog.
michaelbeaumont/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
michaelbeaumont/pandoc
Universal markup converter
michaelbeaumont/awesome-leader
Leader key for Awesome WM
michaelbeaumont/liquidhaskell
Liquid Types For Haskell
michaelbeaumont/rust-sat
SAT solving with Rust
michaelbeaumont/awesome-leaved
Layout for AwesomeWM based on i3 and arranging clients into containers
michaelbeaumont/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
michaelbeaumont/awesome-sesh
Awesome WM Sessions
michaelbeaumont/haskoin-wallet
Implementation of a Bitcoin hierarchical deterministric wallet (BIP32) in Haskell
michaelbeaumont/kirchhoff-generator
This program allows for the generation of single source resistor networks for use as test questions and for the solving of multiple source networks.
michaelbeaumont/caltechx_learning-from-data_homework
Homework for CS1156x from CaltechX (Edx)
michaelbeaumont/arduino-cmake
Arduino CMake Build system
michaelbeaumont/hatic
Simple key-value store
michaelbeaumont/RBTree
Haskell Implementation of Red-Black Trees
michaelbeaumont/docutils-html5css3
An html5css3 writer for docutils conforming to the API of the original html4css3 module.