Anki is a smart spaced repetition flashcard program
Repository Index
78,850 visible repositories in the index
1–24 of 88 · Most stars
TranslatedWhat? You dare trust AI to have your back? I bet you don't, so come learn the coolest, safest, and fastest language of the AI era. This book offers comprehensive and in-depth explanations, vivid and fitting examples, and Dove-chocolate-smooth content. This may be the most painstakingly written Rust tutorial in Chinese available today / Book
- rust-lang
- rust
- book
- chinese
An incremental parsing system for programming tools
- incremental
- parsing
- c
- tree-sitter
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
The Rust Programming Language
- mdbook
- rust
- rust-programming-language
- book
Sampling profiler for Python programs
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
- static-analysis
- static-analyzers
- linter
- code-quality
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
- quic
- http3
- network-programming
- protocol
RustDesk Server Program
- remote-desktop
- remote-control
- remote-access
- tauri
The customization marketplace for Windows programs: https://windhawk.net/
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
🧱 easy, fast, programmable and local-first microVM runtime and library
Tools for concurrent programming in Rust
- synchronization
- concurrency
- parallelism
- threads
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
- blockchain
- distributed-ledger-technology
- move
- smart-contracts
AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models
- ai-workflows
- artifical-intelligense
- claude-3-7-sonnet
- command-line
Zero-cost asynchronous programming in Rust
- async-foundations
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
- cuda
- cuda-kernels
- cuda-programming
- gpgpu
💎 Amber the programming language compiled to Bash/Ksh/Zsh
Safe and rich Rust wrapper around the Vulkan API
- vulkan
- vulkan-api
- rust
- spir-v
⚓ Solana Program Framework
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
- ebpf
- bpf
- rust
- observability
A Text User Interface library for the Rust programming language
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks