zimmski/picosat

Stars
4
Rank 3,213,042 (Top 66 %)
Language
C
License
MIT License
Created about 11 years ago
Updated about 11 years ago

zimmski/picosat

zimmski

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

copy of SAT solver picosat from http://fmv.jku.at/picosat/ + some fixes

go-mutesting

Mutation testing for Go source code

tavor

A generic fuzzing and delta-debugging framework

go-leak

Detect all kinds of leaks in Go

feedme

Create Atom/RSS feeds from any website

tirion

Tirion is a complete infrastructure for monitoring applications during benchmarks

osutil

Additional functionality for Go's os package

container

a repository of data structures for Go

filter-reply-mails

Filter and trim plain text and html parts of mails fetched from an IMAP folder

fuzzer

Collection of fuzzers made with Tavor

glamor

A daemon for monitoring hosts via ICMP echo request (ping)

aiger

copy of aiger toolset from http://fmv.jku.at/aiger/ + some fixes

orange-cat

A Markdown previewer written in Go

mcaiger

copy of the model checker McAiger from http://fmv.jku.at/mcaiger + some fixes

lint-naked-returns

Find naked returns in function and methods with named return arguments

coding-contests

Collection of coding-contests, puzzles, ...

monitoring

Collection of my monitoring checks, tools, ...

vcard

quentale

negroni-cors

github.com/martini-contrib/cors for negroni

misc

Collection of code without any other place

negroni-limits

negroni middleware to limit access

backup

mount folders, create tunnels and do backups via Go code

go-tool

Skeleton for Go tools