MathieuBordere
Follow
Stars
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Firedancer is Jump Crypto's Solana validator software.
Haskell library for building declarative animations based on SVG graphics
The user home repository for the Mathematics in Lean tutorial.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Lean 4 programming language and theorem prover
Build SQLite virtual file systems (VFS) by implementing a simple Rust trait.
Realm is a mobile database: a replacement for SQLite & ORMs
Guidance on implementing cryptography as a developer.
Homomorphic Encryption library and applications in Swift
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…
Collaborative office suite, end-to-end encrypted and open-source.
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
This repo holds materials for our Splash 2017 class on Z3.
A minimalistic and high-performance SAT solver
A curated list of awesome LLVM (including Clang, etc) related resources.
LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes