Lists (31)
Sort Name ascending (A-Z)
3d
ai
awesome
bch
blockchain
book
btc
cmd
container
crypto
db
defi
eth
frontend
git
golang
gui
js
lang
md
nodejs
nosql
python
react
rust
solana
swift
ton
wasm
web
zk
Stars
- All languages
- ANTLR
- C
- C#
- C++
- CSS
- Clojure
- Dart
- Dockerfile
- Elixir
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- Objective-C
- PowerShell
- Python
- ReScript
- Red
- Rich Text Format
- Roff
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Swift
- TeX
- TypeScript
- WebAssembly
- Wikitext
- XQuery
- Zig
Go implementation of the Ethereum protocol
Source code for "Building Cryptographic Proofs from Hash Functions"
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A performant NumPy extension for Galois fields and their applications
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Official code repo for the O'Reilly Book - "Hands-On Large Language Models"
The fundamental package for scientific computing with Python.
A high-throughput and memory-efficient inference and serving engine for LLMs
SGLang is a fast serving framework for large language models and vision language models.
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
An annotated implementation of the Transformer paper.
The definitive Web UI for local AI, with powerful features and easy setup.
DuckDB is an analytical in-process SQL database management system
An extremely fast Python linter and code formatter, written in Rust.
A JavaScript library like PyTorch, with GPU acceleration.
An extremely fast Python package and project manager, written in Rust.
Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!
🍒 Cherry Studio is a desktop client that supports for multiple LLM providers.
aider is AI pair programming in your terminal
A list of AI coding tools (assistants, completions, refactoring, etc.)
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.