Popular repositories Loading

1. Fsharp.Gdal Fsharp.Gdal Public

   Geospatial Data in F#

   F# 7 2

2. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

3. ungiroingiro ungiroingiro Public

   C#

4. valgrande valgrande Public

   QGis project for a map and personal gis of the National Park of Valgrande

   QML

5. nholz nholz Public

   An F# porting of HOL Zero

   F#

6. Calculemus Calculemus Public

   Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" in F#.

   F#