lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
2 years ago
automationcanonical-structurescoq
more-hooks-for-git
This zsh plugin overload the git command to expose more hooks.
Shell1mit
2 years ago
Graphicz
Light-weight, operator-overloading-free complements to CoreGraphics!
Swift45mit
7 years ago
core-graphicsgeometryios
manifold
Manifold is a Java compiler plugin, its features include Metaprogramming, Proper
Java1995apache-2.0
8 months ago
android-studiodelegationduck-typing
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
2 years ago
automationcanonical-structurescoq
more-hooks-for-git
This zsh plugin overload the git command to expose more hooks.
Shell1mit
2 years ago
Graphicz
Light-weight, operator-overloading-free complements to CoreGraphics!
Swift45mit
7 years ago
core-graphicsgeometryios
manifold
Manifold is a Java compiler plugin, its features include Metaprogramming, Proper
Java1995apache-2.0
8 months ago
android-studiodelegationduck-typing