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/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
DavidKorczynski/cJSON
Ultralightweight JSON parser in ANSI C
DavidKorczynski/cmetrics
A standalone library to create and manipulate metrics in C
DavidKorczynski/cppcheck
static analysis of C/C++ code
DavidKorczynski/ctraces
Library to create and manipulate traces in C
DavidKorczynski/double-conversion
Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
DavidKorczynski/fast_double_parser
Fast function to parse strings into double (binary64) floating-point values, enforces the RFC 7159 (JSON standard) grammar: 4x faster than strtod
DavidKorczynski/fast_float
Fast and exact implementation of the C++ from_chars functions for float and double types: 4x to 10x faster than strtod, part of GCC 12 and WebKit/Safari
DavidKorczynski/fast_obj
Fast C OBJ parser
DavidKorczynski/flate2-rs
DEFLATE, gzip, and zlib bindings for Rust
DavidKorczynski/fluent-bit
Fast and Lightweight Logs and Metrics processor for Linux, BSD, OSX and Windows
DavidKorczynski/image-png
PNG decoding and encoding library in pure Rust
DavidKorczynski/inipp
Simple C++ ini parser.
DavidKorczynski/jq
Command-line JSON processor
DavidKorczynski/landscape
🌄 The Cloud Native Interactive Landscape filters and sorts hundreds of projects and products, and shows details including GitHub stars, funding or market cap, first and last commits, contributor counts, headquarters location, and recent tweets.
DavidKorczynski/libdwarf-code
Contains source for libdwarf, a library for reading DWARF2 and later DWARF. Contains source to create dwarfdump, a program which prints DWARF2 and later DWARF in readable format. Has a very limited DWARF writer set of functions in libdwarfp (producer library). Builds using GNU configure, meson, or cmake.
DavidKorczynski/libgit2
A cross-platform, linkable library implementation of Git that you can use in your application.
DavidKorczynski/open5gs
Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)
DavidKorczynski/quiche
DavidKorczynski/resiprocate
C++ implementation of SIP, ICE, TURN and related protocols.
DavidKorczynski/sccrd
DavidKorczynski/simdutf
Unicode routines (UTF8, UTF16, UTF32): billions of characters per second using SSE2, AVX2, NEON, AVX-512. Part of Node.js.
DavidKorczynski/tag-security
🔐CNCF Security Technical Advisory Group -- secure access, policy control, privacy, auditing, explainability and more!
DavidKorczynski/tcmalloc
DavidKorczynski/tensorflow
An Open Source Machine Learning Framework for Everyone
DavidKorczynski/tipa
Tiny Parser in C++
DavidKorczynski/toml
Rust TOML Parser
DavidKorczynski/valijson
Header-only C++ library for JSON Schema validation, with support for many popular parsers
DavidKorczynski/vscode-extension-test
test
DavidKorczynski/yazi-json
a tiny c++ json parser