DavidKorczynski
Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
https://adalogics.comOxford, UK
Pinned Repositories
adacc
aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
alembic
Alembic is an open framework for storing and sharing scene data that includes a C++ library, a file format, and client plugins and applications.
Awesome-Fuzzing
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
binary-samples
Samples of binary with different formats and architectures. A test suite for your binary analysis tools.
coveragepy
The code coverage tool for Python
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
oss-fuzz-db-fuzzintro
pacemaker
Pacemaker is an advanced, scalable High-Availability cluster resource manager
RePEconstruct
DavidKorczynski's Repositories
DavidKorczynski/oss-fuzz-db-fuzzintro
DavidKorczynski/pacemaker
Pacemaker is an advanced, scalable High-Availability cluster resource manager
DavidKorczynski/argtable3
A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.
DavidKorczynski/cmetrics
A standalone library to create and manipulate metrics in C
DavidKorczynski/ctraces
Library to create and manipulate traces in C
DavidKorczynski/DavidKorczynski
DavidKorczynski/fluent-bit
Fast and Lightweight Logs and Metrics processor for Linux, BSD, OSX and Windows
DavidKorczynski/h26forge-seeds
DavidKorczynski/http-parser
HTTP request/response parser for python in C
DavidKorczynski/iniparser
ini file parser
DavidKorczynski/libfyaml
Fully feature complete YAML parser and emitter, supporting the latest YAML spec and passing the full YAML testsuite.
DavidKorczynski/libjson
a JSON parser and printer library in C. easy to integrate with any model.
DavidKorczynski/libuv
Cross-platform asynchronous I/O
DavidKorczynski/llama.cpp
LLM inference in C/C++
DavidKorczynski/lorawan-parser
LoRaWAN protocol parser and packer in C
DavidKorczynski/minmea
a lightweight GPS NMEA 0183 parser library in pure C
DavidKorczynski/monero
Monero: the secure, private, untraceable cryptocurrency
DavidKorczynski/mpc
A Parser Combinator library for C
DavidKorczynski/oss-fuzz-gen
LLM powered fuzzing via OSS-Fuzz.
DavidKorczynski/osv-scanner
Vulnerability scanner written in Go which uses the data provided by https://osv.dev
DavidKorczynski/parson
Lightweight JSON library written in C.
DavidKorczynski/pdjson
C JSON parser library that doesn't suck
DavidKorczynski/picohttpparser
tiny HTTP parser written in C (used in HTTP::Parser::XS et al.)
DavidKorczynski/simpleson
Lightweight C++ JSON parser & serializer that is C++98 compatible with no dependencies
DavidKorczynski/sleuthkit
The Sleuth Kit® (TSK) is a library and collection of command line digital forensics tools that allow you to investigate volume and file system data. The library can be incorporated into larger digital forensics tools and the command line tools can be directly used to find evidence.
DavidKorczynski/sqlite-createtable-parser
A parser for SQLite create table sql statements.
DavidKorczynski/tiny-json
The tiny-json is a versatile and easy to use json parser in C suitable for embedded systems. It is fast, robust and portable.
DavidKorczynski/tinyexpr
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
DavidKorczynski/uvwasi
WASI syscall API built atop libuv
DavidKorczynski/Vulkan-Loader
Vulkan Loader