Termite

The Termite driver synthesis tool

Pinned Repositories

hast
Higher-order ASTs
Language:Haskell0 2 02
simple-abstractor
Simple abstractor for the Termite project
Language:Haskell00
specs
Driver specifications
Language:C2 2 02
syntcomp
Synthesis competition entry
Language:Haskell00
syntcomp-benchmark
Benchmarking program for my synthesis competition entry
Language:Haskell00
synthesis
Termite synthesis engine
Language:Haskell32
Termite
The Termite driver synthesis tool
Language:Shell30 8 177
termite-app
Main Termite tool
Language:Haskell12
tsl
TSL2 compiler
Language:Haskell0 2 02
util
Common Termite utilities
Language:Haskell0 3 02

Termite 's Repositories

termite2/Termite
The Termite driver synthesis tool
Language:Shell30 8 177
termite2/synthesis
Termite synthesis engine
Language:Haskell32
termite2/specs
Driver specifications
Language:C2 2 02
termite2/termite-app
Main Termite tool
Language:Haskell12
termite2/hast
Higher-order ASTs
Language:Haskell0 2 02
termite2/simple-abstractor
Simple abstractor for the Termite project
Language:Haskell00
termite2/syntcomp
Synthesis competition entry
Language:Haskell00
termite2/syntcomp-benchmark
Benchmarking program for my synthesis competition entry
Language:Haskell00
termite2/tsl
TSL2 compiler
Language:Haskell0 2 02
termite2/util
Common Termite utilities
Language:Haskell0 3 02
termite2/adam-thesis
Adam Walker's PhD thesis
Language:TeX3 0
termite2/bdd
BDD abstraction layer
Language:Haskell2 02
termite2/bv
Termite's bitvector solver
Language:Haskell2 02
termite2/code-widget
Termite code widget
Language:Haskell2 02
termite2/cudd
An unofficial mirror of the CUDD decision diagrams package
Language:C3 02
termite2/debug
Visual debugger
Language:Haskell2 02
termite2/dma_synthesis
Language:Java4 0
termite2/graph-draw
Graph drawing widget
Language:Haskell2 02
termite2/haskell_cudd
Haskell bindings to the CUDD binary decision diagram library
Language:Haskell2