-
-
-
-
-
Curry-Howard-Isomorphism Public
demonstrate Curry-Howard-Isomorphism (proofs-as-programs and propositions-as-types) in Java and Python
Java UpdatedMar 2, 2015 -
-
-
fuse Public
Forked from fabric8io/fabric8Fuse Fabric : a provisioning, configuration and management solution for Apache Karaf, Apache ServiceMix and Fuse
Java Apache License 2.0 UpdatedDec 17, 2012