abakst/art-theory
Alias Refinement Types
Public GitHub Catalog
Discovered Sep 26, 2026
abakst / Twitkov
Tweet generator
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.
#6950645GitHub System ID
abakstOrganization / User
PublicVisibility
ActiveCatalog Status
More from abakst
abakst/iTerm2-Color-Schemes
iTerm Colors - A set of iTerm 2 color schemes/themes. Some schemes have been ported from Mac OSX's Terminal application
abakst/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
abakst/teaching
Class materials