DavidKorczynski
Researcher at @AdaLogics. Software security, analysis 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.
amphtml
The AMP web component framework.
argparse
Argument Parser for Modern C++
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.
RePEconstruct
DavidKorczynski's Repositories
DavidKorczynski/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.
DavidKorczynski/arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
DavidKorczynski/assimp
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
DavidKorczynski/cloud-hypervisor
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
DavidKorczynski/gnutls
Mirror of official gnutls repository
DavidKorczynski/HdrHistogram
A High Dynamic Range (HDR) Histogram
DavidKorczynski/httparse
A push parser for the HTTP 1.x protocol in Rust.
DavidKorczynski/json-1
JSON for Modern C++
DavidKorczynski/json-patch
A Go library to apply RFC6902 patches and create and apply RFC7386 patches
DavidKorczynski/libhtp
LibHTP is a security-aware parser for the HTTP protocol and the related bits and pieces.
DavidKorczynski/libiec61850
Official repository for libIEC61850, the open-source library for the IEC 61850 protocols
DavidKorczynski/libmodbus
A Modbus library for Linux, Mac OS, FreeBSD and Windows
DavidKorczynski/libsass
A C/C++ implementation of a Sass compiler
DavidKorczynski/libyaml
Canonical source repository for LibYAML
DavidKorczynski/meshoptimizer
Mesh optimization library that makes meshes smaller and faster to render
DavidKorczynski/minify
Go minifiers for web formats
DavidKorczynski/mp4parse-rust
Parser for ISO Base Media Format aka video/mp4 written in Rust.
DavidKorczynski/nom
Rust parser combinator framework
DavidKorczynski/openbabel
Open Babel is a chemical toolbox designed to speak the many languages of chemical data.
DavidKorczynski/openexr
The OpenEXR project provides the specification and reference implementation of the EXR file format, the professional-grade image storage format of the motion picture industry.
DavidKorczynski/p11-kit
Provides a way to load and enumerate PKCS#11 modules.
DavidKorczynski/pest
The Elegant Parser
DavidKorczynski/poco
The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and internet-based applications that run on desktop, server, mobile, IoT, and embedded systems.
DavidKorczynski/proftpd
ProFTPD source code
DavidKorczynski/protoreflect
Reflection (Rich Descriptors) for Go Protocol Buffers
DavidKorczynski/rust-lexical
Fast numeric to- and from-string conversion routines.
DavidKorczynski/sftp
SFTP support for the go.crypto/ssh package
DavidKorczynski/smt
A Go library that implements a Sparse Merkle tree for a key-value map.
DavidKorczynski/websockets
Library for building WebSocket servers and clients in Python
DavidKorczynski/znc
Official repository for the ZNC IRC bouncer