• Stars
    star
    2
  • Language
  • Created over 15 years ago
  • Updated over 15 years ago

Reviews

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

Repository Details

learn how to read and write formal proofs in Isabelle

More Repositories

1

imgmin

Lossy image optimization
C
649
star
2

lanmap2

builds database/visualizations of LAN structure from passively sifted information
C
147
star
3

regroup

Generate a regular expression that describes a set of strings.
Python
29
star
4

spill-chick

probabilistic language corrector based on google ngrams
Python
21
star
5

css-tools

CSS tools: analyze, refactor, minify CSS
Python
11
star
6

dragnet

simulate slow network connections on *nix
C
10
star
7

bugs

Compilation of infamous software engineering failures
PHP
8
star
8

abbot

erlang irc bot
Erlang
7
star
9

gproc_dist_example

erlang gproc_dist example
Erlang
6
star
10

python-examples

Python
5
star
11

c

random snippets of c
C
4
star
12

assume

C source code analysis/manipulation toolkit, someday
C
3
star
13

shac

show access control : whether a user has certain permissions on certain files and why or why not.
C
3
star
14

pro-file

statistical inferences from common online profile info
Python
3
star
15

genx

generates functions in native x86 machine code by way of a genetic algorithm
C
3
star
16

shell-examples

Shell
3
star
17

sky-ring

simulate a 6-month solar exposure
Python
3
star
18

erlang-examples

erlang-examples
Erlang
2
star
19

sqlacodegen

Python
2
star
20

postload

Prioritize/schedule web page asset loading in Javascript.
JavaScript
2
star
21

lanassert

monitor network activity via whitelist
C
2
star
22

radixtree

Python
2
star
23

httpxlog

External http logging via packet capture; added flexibility and power over built-in httpd logging
Python
2
star
24

trie1

Unicode-friendly string prefix trie data structure and python bindings.
C
2
star
25

plod

a slow solver that generates python expressions via genetic algorithm
Python
2
star
26

upmon

downforeveryoneorjustme.com + status.github.com
Python
1
star
27

webcite

web site analysis framework; python spider -> sqlite -> reports
Python
1
star
28

histogram

simple utility
C
1
star
29

erws

Erlang
1
star
30

respec

Hierarchical @spec for Erlang data
Erlang
1
star
31

commutism

Python
1
star
32

perl-examples

Perl
1
star
33

passwork

password strength measuring javascript toolkit for online forms
JavaScript
1
star
34

wat

Python
1
star
35

php-examples

PHP
1
star
36

beachball

do unquietwiki a favor
Python
1
star
37

vis-unicode-codespace

Python
1
star
38

rematch

regex match visualizer
1
star
39

euler

Project Euler investigations
Python
1
star
40

jsoncheck

python json schema validator with decent error messages
Python
1
star
41

elements

periodic table tiles crafted from the elements themselves
nesC
1
star
42

circumnavigation

HTML
1
star
43

name-data

Shell
1
star
44

real-life-optimizations

demonstrate the use of optimization techniques applied to everyday problems
Python
1
star
45

shootout

entries for The Great Programming Language Shootout
C
1
star