manijeh-a

audits-portfolio

Shieldify's public audits portfolio

BitVM

Smarter Bitcoin Contracts

duckdb

DuckDB is an analytical in-process SQL database management system

garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

numpy

The fundamental package for scientific computing with Python.

openwrt-passwall

pydantic

Data validation using Python type hints

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

AirBnB_clone_v4

ClickHouse

ClickHouse® is a real-time analytics DBMS

DiffSynth-Studio

Enjoy the magic of Diffusion models!

EthStorage

go

The Go programming language

graphrag

A modular graph-based Retrieval-Augmented Generation (RAG) system

jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

keras

Deep Learning for humans

ladybird

Truly independent web browser

LivePortrait

Make one portrait alive!

mage

Magic Another Game Engine

monorepo

noname

Noname: a programming language to write zkapps

Nubit

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

spark-address-registry

Tapioca-bar

azure-pipelines-tasks

Tasks for Azure Pipelines

briefcase

Tools to support converting a Python project into a standalone native application.

browser-compat-data

This repository contains compatibility data for Web technologies as displayed on MDN