PinnedLoading

1. arbre-app/read-gedcomarbre-app/read-gedcomPublic

   A modern Gedcom parser written in Typescript

   TypeScript 19 5

2. epfl-lara/lisaepfl-lara/lisaPublic

   Proof assistant based on first-order logic and set theory

   Scala 36 20

3. florian.cassayre.meflorian.cassayre.mePublic

   Fourth version of my personal website.

   TypeScript

4. competitive-scalacompetitive-scalaPublic

   Repertoire of datastructures and utilities for competitive programming in Scala

   Scala 10

5. yoga-sof.fryoga-sof.frPublic

   Site Yoga Sof

   TypeScript 3 2

6. CERNDocumentServer/cds-ilsCERNDocumentServer/cds-ilsPublic

   CERN Library integrated library system.

   Python 12 15