Popular repositories Loading

1. GeoProver GeoProver Public

   GeoProver is a Inter-CAS package for Geometry Theorem Proving with Mappings currently to Reduce, Mathematica, Maple and MuPAD

   Mathematica

2. cali cali Public

   The cali Reduce package

   Scilab

3. openolat openolat Public

   Forked from klemens/openolat

   Clone of the official openolat hg repository (automatically updated). Contains extensions xman, autolat and a simple shibboleth authenticator in corrensponding branches. (See WIKI for details!)

   Java

4. autotool-aufgaben autotool-aufgaben Public

   A RDF based collection of exercises for the autotool

   Perl

5. transform-bvl-pages-to-csv-file transform-bvl-pages-to-csv-file Public

   Forked from AKSW/transform-bvl-pages-to-csv-file

   A simple webscraper which creates a CSV file based on the Online-Stadtführer of Behindertenverband Leipzig e.V.

   PHP

6. PVM-15 PVM-15 Public

   Code zum Partizipativen Virtuellen Museum

   PHP