Stars
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
Contract Templates for zkSync: solidity, hardhat, vyper
Solidity compiler tooling by @NomicFoundation
An index repository with submodules for different examples of Certora projects
The communications platform that puts data protection first.
ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain
#1 Locally hosted web application that allows you to perform various operations on PDF files
Official implementation of the SIGGRAPH 2024 paper "A Hierarchical 3D Gaussian Representation for Real-Time Rendering of Very Large Datasets"
Smart contract audits performed on Sablier by third-party security researchers
[NeurIPS 2024] Unique3D: High-Quality and Efficient 3D Mesh Generation from a Single Image
[NeurIPS 2024] Depth Anything V2. A More Capable Foundation Model for Monocular Depth Estimation
Emerging smart contract language for the Ethereum blockchain.
A modular stack for zkVMs, with a focus on productivity, security and performance.
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Scripts to build a trimmed-down Windows 11 image.
Tool to statically recompile N64 games into native executables
A local chatbot fine-tuned by bilibili user comments.
📝 An awesome Data Science repository to learn and apply for real world problems.
Novel trustless web3/blockchain gaming engine.
High performance self-hosted photo and video management solution.