HUST-PLT

Pinned Repositories

FPsolve
FPsolve: solver for polynomial equations over omega-continuous semirings
Language:C++00
tychon
SyGuS solver for programming-by-example
Language:C++00
type-systems
Implementations of various type systems in OCaml.
Language:OCaml00
wrapped-intervals
Precise and Signedness Agnostic Interval Analysis for LLVM IR
Language:C++00

HUST-PLT's Repositories

HUST-PLT/FPsolve
FPsolve: solver for polynomial equations over omega-continuous semirings
Language:C++00
HUST-PLT/tychon
SyGuS solver for programming-by-example
Language:C++00
HUST-PLT/type-systems
Implementations of various type systems in OCaml.
Language:OCaml00
HUST-PLT/wrapped-intervals
Precise and Signedness Agnostic Interval Analysis for LLVM IR
Language:C++00