Giters
Finn Haedicke (finnhaedicke)

finnhaedicke

Geek Repo

10

followers

11

following

45

stars

Github PK Tool:Github PK Tool

Organizations
cpp-ug-hb

Finn Haedicke's repositories

jenkins-job-builder-workflow

Language:PythonLicense:Apache-2.0Stargazers:5Issues:1Issues:0

crave

Constrained random stimuli generation for C++ and SystemC

Language:C++Stargazers:1Issues:1Issues:0

dependencies

Language:ShellStargazers:1Issues:1Issues:0

hudson-hacks

Various hacks to make your favorite metrics usable in Hudson/Jenkins

Stargazers:1Issues:1Issues:0

metaSMT

Language:C++License:MITStargazers:1Issues:1Issues:0

cryptominisat

An advanced SAT Solver

Language:C++License:LGPL-3.0Stargazers:0Issues:1Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

ding-dong

Create AGI server on #Node.js for #Asterisk quickly!

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

make-latex

Makefile snippet to compile LaTeX to PDF with dependencies

Language:TeXStargazers:0Issues:1Issues:0

slides-CMake-von-Hello-World

Language:CMakeStargazers:0Issues:1Issues:0