Popular repositories Loading

1. jape jape Public

   Jape, a configurable proof editor (best at natural deduction and sequent calculus)

   OCaml 52 4

2. Dehnadi-test-generate-analyse Dehnadi-test-generate-analyse Public

   Java 2 1

3. LimeSurvey LimeSurvey Public

   Forked from LimeSurvey/LimeSurvey

   The official LimeSurvey repository

   PHP 1

4. Arsenic Arsenic Public

   the proofchecker for New Lace

   OCaml

5. JarBundler JarBundler Public

   Forked from onexip/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-…

   Java

6. universalJavaApplicationStub universalJavaApplicationStub Public

   Forked from tofi86/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.

   Shell