MathieuBordere

Mathieu Borderé's starred repositories

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Language:Jupyter NotebookMIT967200

securedrop-protocol

Research and proof of concept to develop the next SecureDrop with end to end encryption.

Language:PythonAGPL-3.04700

wgpu

A cross-platform, safe, pure-Rust graphics API.

Language:RustApache-2.01175900

secret-llama

Fully private LLM chatbot that runs entirely with a browser with no server needed. Supports Mistral and LLama 3.

Language:TypeScriptApache-2.0237500

wuffs

Wrangling Untrusted File Formats Safely

Language:CNOASSERTION407600

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

Language:RustMIT101700

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Language:RustApache-2.015800

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustApache-2.058200

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustApache-2.0794700

slither

Static Analyzer for Solidity and Vyper

Language:PythonAGPL-3.0516900

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptMIT2456800

web3.js

Collection of comprehensive TypeScript libraries for Interaction with the Ethereum JSON RPC API and utility functions.

Language:TypeScriptNOASSERTION1904400

chain-desktop-wallet

Crypto.com DeFi Desktop Wallet

Language:TypeScriptNOASSERTION36400

rp

rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

Language:C++MIT176200

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.

Language:PythonNOASSERTION381400

ctf101

CTF101, a wiki-project documenting Capture The Flag techniques.

MIT9400

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustMIT1310900

skyvern

Automate browser-based workflows with LLMs and Computer Vision

Language:PythonAGPL-3.0553100

derecho

The main code repository for the Derecho project.

Language:C++BSD-3-Clause18300

MixT

Prototype Mixed-consistency transaction implementation

Language:C++Apache-2.05900

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustApache-2.01684100

dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Language:JavaScriptApache-2.043900

enso

Hybrid visual and textual functional programming.

Language:ScalaApache-2.0731900

catt

Cast All The Things allows you to send videos from many, many online sources to your Chromecast.

Language:PythonBSD-2-Clause329900

SEAL

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Language:C++MIT347000

openfhe-development

This is the development repository for the OpenFHE library. The current (stable) version is v1.2.0 (released on June 25, 2024).

Language:C++BSD-2-Clause67600

stellarium

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

Language:C++GPL-2.0739100

creduce

C-Reduce, a C and C++ program reducer

Language:C++NOASSERTION123600

cortx-motr

CORTX Motr is a distributed object and key-value storage system targeting mass capacity storage configurations. It's the core component of CORTX storage system.

Language:CApache-2.05900