diagprov Goto Github PK
Name: Antony Vennard
Type: User
Bio: Software/Security Engineer. Mathematician, Cryptology. 🇨🇭
Twitter: diagprov
Location: Lausanne, Switzerland
Blog: https://diagprov.ch
Name: Antony Vennard
Type: User
Bio: Software/Security Engineer. Mathematician, Cryptology. 🇨🇭
Twitter: diagprov
Location: Lausanne, Switzerland
Blog: https://diagprov.ch
Application Binary Interface for the Arm® Architecture
american fuzzy lop - a security-oriented fuzzer
A heap allocator for Cortex-M processors
Embeddable ASN.1 (DER) and X.509v3 decoder
📱 Two-Factor Authentication (2FA) client for Android + Wear OS
QEmu backend for avatar²
Python core of avatar²
A curated list of resources about post-quantum cryptography
List of resources about programming practices for writing safety-critical software.
Rust rules for Bazel
Crypto Audit Guidelines
cargo subcommand showing the assembly or llvm-ir generated for Rust code
Read-only mirror of https://git.zx2c4.com/cgit/about . Pull requests and issues on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes is via the mailing list; see https://lists.zx2c4.com/mailman/listinfo/cgit .
Checksec.sh
A mini ABI capable of handling throw/catch statements for C++ without libstdc++
Guidelines for low-level cryptography software
Cryptol: The Language of Cryptography
Schnorr signatures, multi-signatures and blinded signatures.
A docker environment providing the latest clang toolchain and tools for static analysis on Fedora.
Command-line DNS client
Python script to manage a Sony DPT-RP1 without the Digital Paper App
Simple utility for programming Atmel MCUs though CMSIS-DAP protocol. Works on Linux, MAC and Windows.
École Mathématique Africaine 2017 – Lecture notes for Isogeny-based cryptography
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.