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.
Building dynamical systems compositionally
A framework for applied category theory in the Julia language
Build Petri net models compositionally
A julia package for representing and manipulating model semantics
Growing healthy applications in well-prepared SQL
A cli tool for finding texlive packages from style file names
We need to:
Upstream the MiraNet vs OrigMiraNet so that @bgyori can export the MiraNet data format.
Factor out the MiraNet shim into a module that…
Seeing something unexpected? Take a look at the
GitHub profile guide.