Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
OpenGL Backend for Diagrams DSL
An editor for category theory
Rigid Body Dynamics
Forked from ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Tools to deal with wiktionary xml dumps
Seeing something unexpected? Take a look at the
GitHub profile guide.