simedw/jacoco-plugin
Public repository.
Developer Profile
simedw
Discovered public repositories for simedw in the GitHub catalog.
simedw/ant-lock
File based mutex lock for ant
simedw/postbuildscript-plugin
Public repository.
simedw/starteam-plugin
Jenkins starteam plugin
simedw/mecab.js
Node.js bindings for mecab (japanese word boundaries)
simedw/master
Master Thesis: Implementing Safety Critical Software Modules Using A Function Language
simedw/ur
Resolve undefined references automagically
simedw/hajvm
A partially implemented java virtual machine written in haskell.
simedw/Solverine
Theorem prover using sequent calculus, generates pretty proof trees in latex
simedw/PureEqSat
Equality Saturation for a small pure language
simedw/Kandidat
Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.