narsis77

alu-AirBnB_clone_v2

blogs

Polyhedra ZK knowledge base

build-nanogpt

Video+code lecture on building nanoGPT from scratch

cambrian

Cambrian-1 is a family of multimodal LLMs with a vision-centric design.

ChatTTS

ChatTTS is a generative speech model for daily dialogue.

Expander-rs

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

hallo

Hallo: Hierarchical Audio-Driven Visual Synthesis for Portrait Image Animation

istio

Connect, secure, control, and observe services.

kibanan

Your window into the Elastic Stack

ladybird

Truly independent web browser

llm-zoomcamp

LLM Zoomcamp - a free online course about building a Q&A system

matmulfreellm

Implementation for MatMul-free LM.

MoA

moonmath-manual

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

noir

Noir is a domain specific language for zero knowledge proofs

Plonky3

A toolkit for polynomial IOPs (PIOPs)

superkit

swift

The Swift Programming Language

Unique3D

Official implementation of Unique3D: High-Quality and Efficient 3D Mesh Generation from a Single Image

uv

An extremely fast Python package installer and resolver, written in Rust.

watercoin-pages

chameleon

Repository for Meta Chameleon, a mixed-modal early-fusion foundation model from FAIR.

doko-js

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

juvix

A language for intent-centric and declarative decentralised applications

mi-gpt

🏠 将小爱音箱接入 ChatGPT 和豆包，改造成你的专属语音助手。

Mindustry

The automation tower defense RTS

Python

All Algorithms implemented in Python

ToonCrafter

a research paper for generative cartoon interpolation

v2rayN

A GUI client for Windows, support Xray core and v2fly core and others