jwaldmann/plain-postproc
starexec postprocessor for non-certified categories
Developer Profile
jwaldmann
Discovered public repositories for jwaldmann in the GitHub catalog.
jwaldmann/haskell-explicit-determinant
Public repository.
jwaldmann/ceta-postproc
Public repository.
jwaldmann/turtle
Public repository.
jwaldmann/star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
jwaldmann/co4
complexity concerned constraint compiler
jwaldmann/flat-tex
flatten a latex multi-file latex document and remove all comments
jwaldmann/rx
computations with regular tree languages
jwaldmann/s
Public repository.
jwaldmann/Tidal
Pattern language
jwaldmann/comsoc-stva
Public repository.
jwaldmann/haskell-obdd
pure Haskell implementation of reduced ordered binary decision diagrams
jwaldmann/matchbox
the Matchbox termination prover
jwaldmann/network
Low-level networking interface
jwaldmann/transformer-combinators
Public repository.
jwaldmann/minisat-c-bindings
C-Bindings to MiniSat
jwaldmann/minisat-haskell-bindings
Haskell-Bindings to MiniSat
jwaldmann/haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
jwaldmann/satchmo-smt
Public repository.
jwaldmann/smt-lib
Parsing and printing SMT-LIB from Haskell.
jwaldmann/satchmo
SAT encoder
jwaldmann/mex
Public repository.