Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

statebox/awesome-applied-ct

ACT community resources

Owner: statebox (organization)
Stars: Stars: 473
Forks: Forks: 25
Language: No language
License: MIT
Created: 2019
Topics: applied-category-theorycompositionalitycategory-theorycurated-listreferences
Tier: Alpha (250 to 699 ★) What this tier means

More repos by statebox