Popular repositories Loading

1. Fsharp.Gdal Fsharp.Gdal Public

   Geospatial Data in F#

   F# 7 2

2. nholz nholz Public

   An F# porting of HOL Zero

   F# 1

3. 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

4. valgrande valgrande Public

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

   QML

5. Calculemus Calculemus Public

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

   F#

6. translation_layoutrecovery translation_layoutrecovery Public

   Forked from phkhanhtrinh23/translation_layoutrecovery

   This is a project that translates a .pdf file, preserving the original layout of that .pdf file. [UPDATED] We have achieved the Second Prize of the Cinnamon AI Bootcamp 2023.

   Python