Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell 54 8
A graphical interactive proof assistant designed for education
Haskell 44 4
a collection of desktop games written in rust
Rust 17 3
Micro Entertainment Pack games for 6502 systems
Assembly 1 1
Cogent Project
Isabelle 145 26
A new specification language for Quickstrom
Haskell 1
Seeing something unexpected? Take a look at the GitHub profile guide.