Skip to content

@termite2 Termite

Change the repository type filter

All

    Repositories list

    19 repositories

    • Termite

      Public
      The Termite driver synthesis tool
      Shell
      •7•31•6•1•Updated Jul 25, 2017Jul 25, 2017

    • debug

      Public
      Visual debugger
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Jul 25, 2017Jul 25, 2017

    • adam-thesis

      Public
      Adam Walker's PhD thesis
      TeX
      •0•0•0•0•Updated May 15, 2016May 15, 2016

    • dma_synthesis

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 12, 2016Jan 12, 2016

    • termite-app

      Public
      Main Termite tool
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•1•0•0•Updated Jun 10, 2015Jun 10, 2015

    • specs

      Public
      Driver specifications
      C
      •2•2•0•0•Updated May 8, 2015May 8, 2015

    • tsl

      Public
      TSL2 compiler
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated May 8, 2015May 8, 2015

    • util

      Public
      Common Termite utilities
      Haskell
      •
      Other
      •2•0•0•0•Updated Apr 24, 2015Apr 24, 2015

    • haskell_cudd

      Public
      Haskell bindings to the CUDD binary decision diagram library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •10•0•0•0•Updated Jan 2, 2015Jan 2, 2015

    • synthesis

      Public
      Termite synthesis engine
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•0•0•Updated Jan 1, 2015Jan 1, 2015

    • hast

      Public
      Higher-order ASTs
      Haskell
      •
      Other
      •2•0•0•0•Updated Jan 1, 2015Jan 1, 2015

    • bdd

      Public
      BDD abstraction layer
      Haskell
      •
      Other
      •2•0•0•0•Updated Jan 1, 2015Jan 1, 2015

    • cudd

      Public
      An unofficial mirror of the CUDD decision diagrams package
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•1•Updated Oct 4, 2014Oct 4, 2014

    • bv

      Public
      Termite's bitvector solver
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Aug 24, 2014Aug 24, 2014

    • code-widget

      Public
      Termite code widget
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Aug 22, 2014Aug 22, 2014

    • graph-draw

      Public
      Graph drawing widget
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Aug 18, 2014Aug 18, 2014

    • simple-abstractor

      Public
      Simple abstractor for the Termite project
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Aug 13, 2014Aug 13, 2014

    • syntcomp-benchmark

      Public
      Benchmarking program for my synthesis competition entry
      Haskell
      •1•0•0•0•Updated Aug 1, 2014Aug 1, 2014

    • syntcomp

      Public
      Synthesis competition entry
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•0•0•0•Updated Aug 1, 2014Aug 1, 2014