Hoe database-integriteit verifiëren met Proof of SQL
Met Proof of SQL kunt u cryptografisch verifiëren dat databasequeryresultaten correct zijn. Hier leest u hoe sxt-proof-of-sql werkt en wanneer u het kunt gebruiken.
Taal
HomeTalen
Secties
Met Proof of SQL kunt u cryptografisch verifiëren dat databasequeryresultaten correct zijn. Hier leest u hoe sxt-proof-of-sql werkt en wanneer u het kunt gebruiken.
Discord verplaatsen naar de terminal met Concord — een op Rust gebaseerde TUI-client die een fractie van de resources gebruikt en aanvoelt als Vim.
Hyperlight is een Rust-bibliotheek van CNCF Sandbox die micro-VM's on-the-fly maakt voor het veilig uitvoeren van onvertrouwde code met minimale latentie.
Datadog Labs heeft Pup uitgebracht, een CLI-tool die hun monitoringplatform omtovert tot een 'huisdier' voor AI-agents. Automatische AI-detectie en JSON-uitvoer
Serpl is een op Rust gebaseerde terminal-app die de zoek- en vervangfunctionaliteit van VS Code naar je terminal brengt met interactief voorbeeld en flexibele configuratie.
Ontdek RustDesk Server — een open-source oplossing voor zelfgehoste remote desktop toegang. Volledige controle over je data, hoge prestaties en complete privacy zonder compromissen.
Joshuto is een lichtgewicht maar krachtig terminalbestandsbeheerprogramma geschreven in Rust. Leer meer over de belangrijkste functies, aanpassingsmogelijkheden en installatiemethoden.
Mago is een op Rust gebaseerde PHP-toolkit met razendsnelle statische analyse, slimme foutdetectie en automatische fixes.
cfonts zet gewone tekst om in opvallende ASCII-art in de terminal. Ondersteunt 12 letterstijlen, kleuren, gradaties en werkt met Node.js en Rust.
Miri is een Rust-interpreter die ongedefinieerd gedrag, geheugenfouten en data races in unsafe code detecteert. Hier leer je hoe je het gebruikt.
TDF is een lichtgewicht terminal PDF-viewer geschreven in Rust. Het heeft asynchrone rendering, directe zoekfunctie, hot reloading en werkt perfect via SSH.
Restate brengt duurzame uitvoering naar gedistribueerde systemen, waardoor handmatige retries, idempotentiecontroles en complexe saga-patronen verdwijnen. Je code wordt standaard veerkrachtig.
Ontmoet Impactor — een door Rust aangedreven tool die het sideloaden van IPA-bestanden op iOS eenvoudig maakt, zonder Mac vereist.
sqlite-zstd biedt elegante rij-niveau compressie voor SQLite met Zstandard, bespaart tot 80% ruimte en behoudt willekeurige datatoegang.
Veloren is een door de community ontwikkelde open-world voxel RPG in Rust. Met elementen van Dwarf Fortress, Cube World en Breath of the Wild, multiplayer en diepgaand crafting.
git-cliff is a Rust-powered tool that automatically generates Changelogs from your Git history, featuring Conventional Commits support, Jinja2 templates, and seamless CI/CD integration.
Lan Mouse deelt je muis en toetsenbord tussen meerdere computers op hetzelfde netwerk. Platformonafhankelijk, gebouwd met Rust voor minimale latentie.
Ontdek Apache Iggy — een op Rust gebaseerd persistent berichtenstreamingplatform dat miljoenen berichten per seconde levert met ultra-lage latentie en enterprise-functies.
Ontmoet Zee, een razendsnelle terminal teksteditor in Rust met Tree-sitter, Emacs-achtige toetsen en tot 100 FPS.
Poweropties biedt onbeperkte energieprofielen, granulaire hardwarebesturing en duale GTK/WebKit-interfaces — een uitgebreide Rust-gebaseerde oplossing voor Linux-energiebeheer.
Herinner je je toen IRC koning was van online communicatie onder ontwikkelaars? Halloy zou zomaar een aangename ontdekking kunnen zijn — een cross-platform IRC-client geschreven in Rust.
Een diepgaande blik op Cloudflare's Quiche—een Rust-bibliotheek die QUIC en HTTP/3 implementeert. Verken de low-level API, architectuur en praktische toepassingen.
RapidRAW is een ongelooflijk lichte RAW-editor van minder dan 30 MB, gemaakt door een 18-jarige ontwikkelaar. Het beschikt over GPU-acceleratie via WGSL-shaders, niet-destructieve bewerking en AI-gestuurde maskers.
MusicGPT transforms text prompts into music compositions. An open-source tool for game developers, video bloggers, and musicians seeking quick audio generation.