Daniel Dickman's repositories

pcc

The Portable C Compiler

Language:CStargazers:7Issues:0Issues:0

stack

A static checker for identifying unstable code.

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

bash-ransomware

Simple Bash Rasomware for use in Cyber Exercises

Language:PHPLicense:GPL-3.0Stargazers:0Issues:0Issues:0

bt

COW b-trees

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

c-semantics

Semantics of C in K

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

chessboardjs

JavaScript chessboard

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

CompCert

The CompCert C verified compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cvs2svn

Migrate CVS repositories to Subversion or Git. This site supersedes the old tigris.org site, which has shut down.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

eba

EBA is a static bug finder for C.

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ESRGAN

ECCV18 Workshops - Enhanced SRGAN. Champion PIRM Challenge on Perceptual Super-Resolution (Third Region)

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

fscq

FSCQ is a certified file system written and proven in Coq

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

GoodbyeBigFive

Streamlined version of the tech in the Goodbye Big Five Series

Language:ShellStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

iOS-Security-Guides

Every iOS security guide

Stargazers:0Issues:0Issues:0

job_board_scraper

Scrape company websites for jobs in finance in NYC

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

keen

Keen Dreams on Greenlight!

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

less-fork

This is a version of less forked and optimized for use on POSIX SUSv3 systems (incl. as "more")

License:NOASSERTIONStargazers:0Issues:0Issues:0

minecraft

Minecraft script for OpenBSD

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

netsem

Network Semantics

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

noah

Bash on Ubuntu on macOS

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

openbsd-commitid

script to retroactively add commitids to past openbsd commits

Stargazers:0Issues:0Issues:0

OpenBSD-perl

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

Language:PerlStargazers:0Issues:0Issues:0

openfirmware

OpenFirmware as used on OLPC (and elsewhere)

Stargazers:0Issues:0Issues:0

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.

License:MITStargazers:0Issues:0Issues:0

src

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

Stargazers:0Issues:0Issues:0

tests

A test suite to test the correct implementation of GCC builtins

License:UPL-1.0Stargazers:0Issues:0Issues:0

trading-pnl

FIFO Trading Model for PnL Calculation

Stargazers:0Issues:0Issues:0

vfs301

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

Language:PythonStargazers:0Issues:0Issues:0

vkQuake

Vulkan Quake port based on QuakeSpasm

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

wolf4sdl

Wolfenstein 3D for SDL (Zipit Z2 Port)

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0