Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with type-systems
A curated list of projects in awesome lists tagged with type-systems .
https://github.com/pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3
Last synced: 31 Jul 2024
https://github.com/andreypopp/type-systems
Playing with type systems
hindley-milner ocaml type-inference type-systems typeclasses
Last synced: 04 Aug 2024