aegis-iisc

Purdue UniversityIN

Pinned Repositories

aegis-iisc-old.github.io
Language:SCSS0 3 00
aegis-iisc.github.io
Ashish Current Webpage forked from al-folio
Language:HTML0 0 00
catalyst_ocaml
Ocaml version of the Relational Refinement Type
Language:OCaml1 0 10
catalyst_ocaml-1
Relational Specification
Language:OCaml0 0 00
debloatingJS
The JavaScript de-bloating project implementation
Language:JavaScript0 1 100
effsynth
Language:OCaml0 2 01
esquery
ECMAScript AST query library.
Language:JavaScript0 0 00
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell0 0 00
morpheus
The code repo for tool morpheus
Language:OCaml0 1 00
propsynth
Language:Python2 2 02

aegis-iisc's Repositories

aegis-iisc/propsynth
Language:Python2 2 02
aegis-iisc/catalyst_ocaml
Ocaml version of the Relational Refinement Type
Language:OCaml1 0 10
aegis-iisc/aegis-iisc-old.github.io
Language:SCSS0 3 00
aegis-iisc/aegis-iisc.github.io
Ashish Current Webpage forked from al-folio
Language:HTML0 0 00
aegis-iisc/catalyst_ocaml-1
Relational Specification
Language:OCaml0 0 00
aegis-iisc/debloatingJS
The JavaScript de-bloating project implementation
Language:JavaScript0 1 100
aegis-iisc/effsynth
Language:OCaml0 2 01
aegis-iisc/esquery
ECMAScript AST query library.
Language:JavaScript0 0 00
aegis-iisc/hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell0 0 00
aegis-iisc/morpheus
The code repo for tool morpheus
Language:OCaml0 1 00
aegis-iisc/neo
a fork of the original cdcl work in neo
Language:Java0 0
aegis-iisc/Poirot-Supplementary-Material
A fork for Poirot-Supplementary-Material
Language:OCaml0 0
aegis-iisc/scripts
Language:Python1 0
aegis-iisc/underapproximation_type
Language:OCaml0 0