⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
A cross-platform, safe, pure-Rust graphics API.
A safe, extensible ORM and Query Builder for Rust
A tasteful, lean, fast & safe pure Rust implementation of Git
Rust bindings for writing safe and fast native Node.js modules.
An open, sub-millisecond, single-executable Firebase alternative with type-safe APIs, built-in WebAssembly runtime, realtime subscriptions, auth, MCP and admin UI built on Rust, SQLite (PG) & Wasmtime.
Safety-first disk cleaner and space analyzer for macOS, Windows and Linux, with duplicate cleanup, app uninstall, startup management, system optimization, and maintenance.
- app-uninstaller
- cache-cleaner
- desktop-app
- disk-cleaner
Safe and rich Rust wrapper around the Vulkan API
- vulkan
- vulkan-api
- rust
- spir-v
Safe Rust bridge for creating Erlang NIF functions
- erlang
- nif
- elixir
- ffi
HatchZip is a free, open-source archive extractor for Windows, macOS and Linux that extracts ZIP, 7z, RAR, tar and split archives in place, so it needs free space for the extracted files only. Desktop app and CLI.
- 7z
- archive
- cli
- crash-safe
Safety guardrails for ai coding agents and human terminal commands
The fast, beautiful, open-source download manager for Windows, macOS and Linux — up to 32 connections, browser integration, video & MP3 downloads, crash-safe resume.
- bittorrent
- browser-extension
- cross-platform
- download-manager
Usable, easy and safe pure-Rust crypto
- cryptography
- rust
- crypto
- chacha20-poly1305
Open framework for confidential AI
- confidential-computing
- intel-tdx
- tee
- confidential-ai
Don't Roll Your Own Crypto: fast, type-safe, pure-Rust cryptography with post-quantum support
- libsodium
- crypto
- rust
- cryptography
Fast, safe-by-design, Vim-first TUI for PostgreSQL, MySQL, and SQLite, built in Rust.
A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible
Powerful Powerful Machine Learning library with GPU, CPU and WASM backends
Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.
- rust
- postgresql
- linter
- zero-downtime
Fast, memory-safe camera RAW decoder in Rust: ~40 formats, SIMD, GPU, WebAssembly, ICC colour management. CLI, C, C++, Python and JavaScript bindings.
- camera-raw
- decoder
- dng
- image-processing
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Port listener / honeypot in Rust with protocol guessing and safe string display
The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.