🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
71,372 visible repositories in the index
265–288 of 890 · Most stars
Linear algebra library for Rust.
- linear-algebra
- matrix
- vector
- algebra
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.
- hyper-v
- hypervisor
- kvm
- mshv
Upgrade all the things
A Rust machine learning framework.
privacy-first, open-source and free idevice management tool written in Rust and Qt
- apple
- idevice
- iphone
- rust
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Cross-platform game engine in Rust.
RuVector provides High Performance, Real-Time decisions and agent memory , Self-Learning Ai, Vector GNN DB built in Rust.
- ai
- ai-ocr
- gnn
- graph
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.
- messaging
- authentication
- key-management
- identity
A secure, configurable file-sharing and URL shortening web app written in Rust.
- actix
- askama
- bin
- opensource
🦀 Rust based dynamic DNS (DDNS) updater for Cloudflare
- dynamic-dns
- self-hosted
- raspberry-pi
- ddns-client
The CSV magician
Renderer for the harmony response format to be used with gpt-oss
🆓Free High speed solana mev arbitrage Sniper Copy Trading Bot, gRPC shred stream Pumpfun Bundler, Pumpfun Contract, Yellowston Geyser, token launcher, AI raydium pool creator, volume, sandwich, raydium swap bot, pumpswap auto Volume, Maker bot, 0xblock, best 0 block solana trading bot solana trading bot solana trading bot solana trading bot
- arbitrage
- bot
- copy
- fun
Command-line sampling profiler for macOS, Linux, and Windows
Find files with SQL-like queries
- find
- files
- filesystem
- query
High-performance image manipulation for web servers. Includes imageflow_server, imageflow_tool, and libimageflow
- image-server
- image-compression
- imagemagick
- image-manipulation
The fast all-in-one Node.js toolkit
- javascript-runtime
- node-version-manager
- nodejs
- package-manager
Metal driver for NVIDIA GeForce cards on macOS Sequoia
ZapFast: a fast, native WhatsApp client in Rust and egui
- chat
- desktop-app
- egui
- linux
Multithreaded PNG optimizer written in Rust
- image-compression
- image-optimization
- png
- png-compression
An offline-first photo manager for large local libraries
- desktop-app
- face-recognition
- local-first
- offline
Local-first search across your workspace, built for humans and AI agents.
- ai-agents
- bm25
- cli
- code-search