Pinned Repositories
qoc
Quantum Over Coq
qtpi
a simulator for a version of Gay and Nagarajan's CQP
Arsenic
the proofchecker for New Lace
Dehnadi-test-generate-analyse
jape
Jape, a configurable proof editor (best at natural deduction and sequent calculus)
JarBundler
JarBundler is a feature-rich Ant task which will create a Mac OS X application bundle from a list of Jar files and a main class name. You can add an Icon resource, set various Mac OS X native look-and-feel bells and whistles, and maintain your application bundles as part of your normal build and release cycle. Project moved from http://sourceforge.net/projects/jarbundler/
LimeSurvey
The official LimeSurvey repository
universalJavaApplicationStub
An alternative Application Launcher Script for Java Apps on Mac OS X that works with both Apple's and Oracle's PList format and Java 6, 7, 8, 9 and 10. Plus it supports drag&drop to the Dock icon.
RBornat's Repositories
RBornat/jape
Jape, a configurable proof editor (best at natural deduction and sequent calculus)
RBornat/Dehnadi-test-generate-analyse
RBornat/LimeSurvey
The official LimeSurvey repository
RBornat/Arsenic
the proofchecker for New Lace
RBornat/JarBundler
JarBundler is a feature-rich Ant task which will create a Mac OS X application bundle from a list of Jar files and a main class name. You can add an Icon resource, set various Mac OS X native look-and-feel bells and whistles, and maintain your application bundles as part of your normal build and release cycle. Project moved from http://sourceforge.net/projects/jarbundler/
RBornat/universalJavaApplicationStub
An alternative Application Launcher Script for Java Apps on Mac OS X that works with both Apple's and Oracle's PList format and Java 6, 7, 8, 9 and 10. Plus it supports drag&drop to the Dock icon.