zimmski/mcaiger zimmski/mcaiger

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C
  • License
    MIT License
  • Created over 11 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zimmski/mcaiger
github

zimmski

Reviews

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

Repository Details

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

More Repositories

1

go-mutesting

Mutation testing for Go source code
Go
635
star
2

tavor

A generic fuzzing and delta-debugging framework
Go
245
star
3

go-leak

Detect all kinds of leaks in Go
Go
129
star
4

feedme

Create Atom/RSS feeds from any website
Go
33
star
5

tirion

Tirion is a complete infrastructure for monitoring applications during benchmarks
HTML
19
star
6

osutil

Additional functionality for Go's os package
Go
17
star
7

container

a repository of data structures for Go
Go
11
star
8

filter-reply-mails

Filter and trim plain text and html parts of mails fetched from an IMAP folder
Perl
10
star
9

fuzzer

Collection of fuzzers made with Tavor
Go
10
star
10

glamor

A daemon for monitoring hosts via ICMP echo request (ping)
Go
9
star
11

aiger

copy of aiger toolset from http://fmv.jku.at/aiger/ + some fixes
C
6
star
12

orange-cat

A Markdown previewer written in Go
Go
4
star
13

picosat

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

lint-naked-returns

Find naked returns in function and methods with named return arguments
Go
3
star
15

coding-contests

Collection of coding-contests, puzzles, ...
Go
3
star
16

monitoring

Collection of my monitoring checks, tools, ...
Go
2
star
17

vcard

Go
2
star
18

negroni-cors

github.com/martini-contrib/cors for negroni
Go
1
star
19

misc

Collection of code without any other place
Go
1
star
20

negroni-limits

negroni middleware to limit access
Go
1
star
21

quentale

Go
1
star
22

backup

mount folders, create tunnels and do backups via Go code
Go
1
star
23

go-tool

Skeleton for Go tools
Go
1
star