nicolasmarti/why3theories
why3 projects: combinatorial and sequential logic elements (from nand2tetris), some redefined theories (set, map), seplog theories
Public GitHub Catalog
Discovered Sep 25, 2026
nicolasmarti / pythonlibs
several libraries for python development
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.
#5448543GitHub System ID
nicolasmartiOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicolasmarti
nicolasmarti/hol-in-coq
Simple shallow embedding of a HOL logic, LCF style in coq
nicolasmarti/gc
A non-copying garbage collector (from ICFP2011)
nicolasmarti/opam-updates
personal version of some opam packages