Thriim/nowork-repository
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
Thriim / hashlife-ocaml
Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14797566GitHub System ID
ThriimOrganization / User
PublicVisibility
ActiveCatalog Status
More from Thriim
Thriim/so-many-theories
Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.
Thriim/newspeak
Abstract interpretation project
Thriim/mpri13
ML type inference in presence of type classes