michalt/newton
Newton solver for polynomial equations over omega-continuous semirings
Developer Profile
michalt
Discovered public repositories for michalt in the GitHub catalog.
michalt/cvector
Vectors supporting efficient pushBack and popBack operations
michalt/ghc-comparisons-plugin
Public repository.
michalt/cxx-utils
Public repository.
michalt/unordered-containers
Efficient hashing-based container types
michalt/packages-base
Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE
michalt/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
michalt/z3-utvpi
UTVPI theory solver for Z3
michalt/linear-graphs
Public repository.