Pinned Repositories
bash-ransomware
Simple Bash Rasomware for use in Cyber Exercises
bt
COW b-trees
c-semantics
Semantics of C in K
chessboardjs
JavaScript chessboard
CompCert
The CompCert C verified compiler
cvs2svn
Migrate CVS repositories to Subversion or Git. This site supersedes the old tigris.org site, which has shut down.
eba
EBA is a static bug finder for C.
ESRGAN
ECCV18 Workshops - Enhanced SRGAN. Champion PIRM Challenge on Perceptual Super-Resolution (Third Region)
pcc
The Portable C Compiler
stack
A static checker for identifying unstable code.
didickman's Repositories
didickman/pcc
The Portable C Compiler
didickman/stack
A static checker for identifying unstable code.
didickman/bash-ransomware
Simple Bash Rasomware for use in Cyber Exercises
didickman/bt
COW b-trees
didickman/c-semantics
Semantics of C in K
didickman/chessboardjs
JavaScript chessboard
didickman/CompCert
The CompCert C verified compiler
didickman/cvs2svn
Migrate CVS repositories to Subversion or Git. This site supersedes the old tigris.org site, which has shut down.
didickman/eba
EBA is a static bug finder for C.
didickman/ESRGAN
ECCV18 Workshops - Enhanced SRGAN. Champion PIRM Challenge on Perceptual Super-Resolution (Third Region)
didickman/fscq
FSCQ is a certified file system written and proven in Coq
didickman/GoodbyeBigFive
Streamlined version of the tech in the Goodbye Big Five Series
didickman/Guarder
didickman/iOS-Security-Guides
Every iOS security guide
didickman/job_board_scraper
Scrape company websites for jobs in finance in NYC
didickman/keen
Keen Dreams on Greenlight!
didickman/less-fork
This is a version of less forked and optimized for use on POSIX SUSv3 systems (incl. as "more")
didickman/minecraft
Minecraft script for OpenBSD
didickman/netsem
Network Semantics
didickman/noah
Bash on Ubuntu on macOS
didickman/openbsd-commitid
script to retroactively add commitids to past openbsd commits
didickman/OpenBSD-perl
Patches and scripts with the goal of a current perl in OpenBSD base
didickman/openfirmware
OpenFirmware as used on OLPC (and elsewhere)
didickman/SecLists
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.
didickman/src
Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
didickman/tests
A test suite to test the correct implementation of GCC builtins
didickman/trading-pnl
FIFO Trading Model for PnL Calculation
didickman/vfs301
A linux driver for (Validity) vfs301 (and others compatible) fingerprint scanner
didickman/vkQuake
Vulkan Quake port based on QuakeSpasm
didickman/wolf4sdl
Wolfenstein 3D for SDL (Zipit Z2 Port)