davidkorczynski Goto Github PK
Type: User
Company: https://adalogics.com
Bio: Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
Location: Oxford, UK
Type: User
Company: https://adalogics.com
Bio: Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
Location: Oxford, UK
Asynchronous HTTP client/server framework for asyncio and Python
Alembic is an open framework for storing and sharing scene data that includes a C++ library, a file format, and client plugins and applications.
The AMP web component framework.
Argument Parser for Modern C++
A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
The Arm ASTC Encoder, a compressor for the Adaptive Scalable Texture Compression data format.
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.
A curated list of awesome Fuzzing(or Fuzz Testing) for software security
Collection of resources about Virtualization
Samples of binary with different formats and architectures. A test suite for your binary analysis tools.
A binary encoder / decoder implementation in Rust.
Bleach is an allowed-list-based HTML sanitizing library that escapes or strips markup and attributes
Multilingual BLS12-381 signature library
Cryptography Toolkit
Practical JPEG Repacker
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Command line helpers for fuzzing
CCTZ is a C++ library for translating between absolute and civil times using the rules of a time zone.
eBPF-based Networking, Security, and Observability
Embedded C/C++ web server
Ultralightweight JSON parser in ANSI C
ClamAV - Documentation is here: https://docs.clamav.net
Rules engine for cloud security, cost optimization, and governance, DSL in yaml for policies to query, filter, and take actions on resources
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.
Scalable fuzzing infrastructure.
A standalone library to create and manipulate metrics in C
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.