Skip to content
@termite2

Termite

The Termite driver synthesis tool

Popular repositories Loading

  1. Termite Termite Public

    The Termite driver synthesis tool

    Shell 30 7

  2. synthesis synthesis Public

    Termite synthesis engine

    Haskell 3 2

  3. specs specs Public

    Driver specifications

    C 2 2

  4. termite-app termite-app Public

    Main Termite tool

    Haskell 1 2

  5. dma_synthesis dma_synthesis Public

    Java

  6. syntcomp syntcomp Public

    Forked from adamwalker/syntcomp

    Synthesis competition entry

    Haskell

Repositories

Showing 10 of 19 repositories
  • Termite Public

    The Termite driver synthesis tool

    termite2/Termite’s past year of commit activity
    Shell 30 7 6 1 Updated Jul 25, 2017
  • debug Public

    Visual debugger

    termite2/debug’s past year of commit activity
    Haskell 0 BSD-3-Clause 2 0 0 Updated Jul 25, 2017
  • adam-thesis Public

    Adam Walker's PhD thesis

    termite2/adam-thesis’s past year of commit activity
    TeX 0 0 0 0 Updated May 15, 2016
  • dma_synthesis Public
    termite2/dma_synthesis’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Jan 12, 2016
  • termite-app Public

    Main Termite tool

    termite2/termite-app’s past year of commit activity
    Haskell 1 BSD-3-Clause 2 0 0 Updated Jun 10, 2015
  • specs Public

    Driver specifications

    termite2/specs’s past year of commit activity
    C 2 2 0 0 Updated May 8, 2015
  • tsl Public

    TSL2 compiler

    termite2/tsl’s past year of commit activity
    Haskell 0 BSD-3-Clause 2 0 0 Updated May 8, 2015
  • util Public

    Common Termite utilities

    termite2/util’s past year of commit activity
    Haskell 0 2 0 0 Updated Apr 24, 2015
  • haskell_cudd Public Forked from adamwalker/haskell_cudd

    Haskell bindings to the CUDD binary decision diagram library

    termite2/haskell_cudd’s past year of commit activity
    Haskell 0 BSD-3-Clause 10 0 0 Updated Jan 2, 2015
  • synthesis Public

    Termite synthesis engine

    termite2/synthesis’s past year of commit activity
    Haskell 3 BSD-3-Clause 2 0 0 Updated Jan 1, 2015
View all repositories

Top languages

Loading…

Most used topics

Loading…