• 3
• 0
• 0

uci-analyser

https://www.cs.kent.ac.uk/people/staff/djb/uci-analyser/

• 3
• 0
• 0

gswiss

fork and fixes for https://sourceforge.net/projects/gswiss/ (2004)

• 3
• 0
• 0

stm8gal

PC tool for uplading hexfiles to the STM8 microcontroller via UART or SPI , using the built-in ROM bootloader. Works under Windows and Posix operat...

• 3
• 0
• 1

tiny-regex-c

Small portable regex in C (cbmc verified, and extended)

• 3
• 0
• 0

cmph

fork of the sf.net project, with fixed algos bmz8 chd chd_ph and hashes

• 3
• 0
• 0

mph

CHM minimal perfect hashing in C by Taj Khattra (1998)

• 2
• 0
• 0

cbmc

C Bounded Model Checker

• 3
• 0
• 0

GDGraph

GD::Graph modules for Perl

• 3
• 0
• 0

tcp-file-server

A basic TCP file server I wrote as an exercise in sockets programming

• 2
• 0
• 0

beamsplitter-1

:gem: Beamsplitter - A new (possibly universal) hash that passes most of SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS

• 2
• 0
• 0

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

• 2
• 0
• 0

umash

UMASH: a fast enough hash and fingerprint with collision bounds

• 2
• 0
• 0

qbe

Minor qbe fixes

• 2
• 0
• 0

scc

Minor scc fixes

• 2
• 0
• 0

win32

• 2
• 0
• 0

strip-nondeterminism

Fork of Debian strip-nondeterminism with added Ceylon support

• 2
• 0
• 0

zilla-dist-pm

• 2
• 0
• 0

unco

undo any command

• 2
• 0
• 0

tvmjit

Table Virtual Machine Just-In-Time

• 2
• 0
• 0

sub-name