2 results found Sort:

pschanely
CrossHair pschanely
55
1.1k
other
11
An analysis tool for Python that blurs the line between testing and type systems.
z3 python fuzzing testing contracts type-systems hacktoberfest static-analysis dynamic-analysis testing-framework concolic-execution symbolic-execution
Created 2017-08-29
2,015 commits to main branch, last one 6 days ago
andreypopp
type-systems andreypopp
2
50
unknown
3
Playing with type systems
ocaml typeclasses type-systems hindley-milner type-inference
Created 2021-10-15
30 commits to main branch, last one 2 months ago