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/h26forge-seeds
DavidKorczynski/HdrHistogram_c
C port of the HdrHistogram
DavidKorczynski/http-parser
HTTP request/response parser for python in C
DavidKorczynski/iniparser
ini file parser
DavidKorczynski/intellij-ton
TON Development plugin for the IntelliJ Platform
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/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
DavidKorczynski/lorawan-parser
LoRaWAN protocol parser and packer in C
DavidKorczynski/miniz
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
DavidKorczynski/minmea
a lightweight GPS NMEA 0183 parser library in pure C
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/scorecard
OpenSSF Scorecard - Security health metrics for Open Source
DavidKorczynski/simdzone
Fast and standards compliant DNS zone parser
DavidKorczynski/simpleson
Lightweight C++ JSON parser & serializer that is C++98 compatible with no dependencies
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