serras/emacs-config-2
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
serras / cobalt
COnstraint-BAsed Little Typechecker
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.
#22985455GitHub System ID
serrasOrganization / User
PublicVisibility
ActiveCatalog Status
More from serras
serras/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
serras/djinn-lib
Library extracted from Djinn package
serras/uhc
Public repository.