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/astc-encoder
The Arm ASTC Encoder, a compressor for the Adaptive Scalable Texture Compression data format.
DavidKorczynski/fmt
A modern formatting library
DavidKorczynski/go-toml
Go library for the TOML file format
DavidKorczynski/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
DavidKorczynski/itoa
Fast function for printing integer primitives to a decimal string
DavidKorczynski/libcoap
A CoAP (RFC 7252) implementation in C
DavidKorczynski/libecc
Library for elliptic curves cryptography
DavidKorczynski/libexif
A library for parsing, editing, and saving EXIF data
DavidKorczynski/libexpat
:herb: Fast streaming XML parser written in C99; migrated from SourceForge to GitHub
DavidKorczynski/libgd
GD Graphics Library
DavidKorczynski/libpg_query
C library for accessing the PostgreSQL parser outside of the server environment
DavidKorczynski/libplist
A library to handle Apple Property List format in binary or XML
DavidKorczynski/libredwg
Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
DavidKorczynski/libtorrent
an efficient feature complete C++ bittorrent implementation
DavidKorczynski/lwan
Experimental, scalable, high performance HTTP server
DavidKorczynski/mosh
Mobile Shell
DavidKorczynski/netcdf-c
Official GitHub repository for netCDF-C libraries and utilities.
DavidKorczynski/openyurt
OpenYurt - Extending your native Kubernetes to edge(project under CNCF)
DavidKorczynski/ots
Sanitizer for OpenType
DavidKorczynski/prost
PROST! a Protocol Buffers implementation for the Rust Language
DavidKorczynski/pugixml
Light-weight, simple and fast XML parser for C++ with XPath support
DavidKorczynski/pyparsing
Python library for creating PEG parsers
DavidKorczynski/relic
Code
DavidKorczynski/ron
Rusty Object Notation
DavidKorczynski/sentencepiece
Unsupervised text tokenizer for Neural Network-based text generation.
DavidKorczynski/strongswan
strongSwan - IPsec-based VPN
DavidKorczynski/usbguard
USBGuard is a software framework for implementing USB device authorization policies (what kind of USB devices are authorized) as well as method of use policies (how a USB device may interact with the system)
DavidKorczynski/uWebSockets
Simple, secure & standards compliant web server for the most demanding of applications
DavidKorczynski/wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
DavidKorczynski/wolfMQTT
wolfMQTT is a small, fast, portable MQTT client implementation, including support for TLS 1.3.