Giters
HUST-PLT

HUST-PLT

Geek Repo

Github PK Tool:Github PK Tool

HUST-PLT's repositories

FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

tychon

SyGuS solver for programming-by-example

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

type-systems

Implementations of various type systems in OCaml.

Language:OCamlLicense:UnlicenseStargazers:0Issues:0Issues:0

wrapped-intervals

Precise and Signedness Agnostic Interval Analysis for LLVM IR

Language:C++License:MITStargazers:0Issues:0Issues:0