didickman Goto Github PK

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)

fscq

FSCQ is a certified file system written and proven in Coq

goodbyebigfive

Streamlined version of the tech in the Goodbye Big Five Series

guarder

ios-security-guides

Every iOS security guide

job_board_scraper

Scrape company websites for jobs in finance in NYC

keen

Keen Dreams on Greenlight!

minecraft

Minecraft script for OpenBSD

netsem

Network Semantics

noah

Bash on Ubuntu on macOS

openbsd-commitid

script to retroactively add commitids to past openbsd commits

openbsd-perl

Patches and scripts with the goal of a current perl in OpenBSD base

openfirmware

OpenFirmware as used on OLPC (and elsewhere)

pcc

The Portable C Compiler

src

Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

stack

A static checker for identifying unstable code.

tests

A test suite to test the correct implementation of GCC builtins

trading-pnl

FIFO Trading Model for PnL Calculation

vfs301

A linux driver for (Validity) vfs301 (and others compatible) fingerprint scanner

vkquake

Vulkan Quake port based on QuakeSpasm

wolf4sdl

Wolfenstein 3D for SDL (Zipit Z2 Port)