#
petrosagg
Follow
Starred repositories
368
results
for source starred repositories
Clear filter
Prove functional correctness of Ethereum smart contracts in higher-order logic
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
OpenTracks is a sport tracking application that completely respects your privacy.
Text page dewarping using a "cubic sheet" model
🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
This is the open source repository for our IEEE Transactions on Computational Imaging 2022 paper "dO: A differentiable engine for Deep Lens design of computational imaging systems".
A purely functional programming language with first class types
Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust
Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even Time Machine and Restic backups!)
WS2812 FX Library for Arduino and ESP8266
A collection of NixOS modules covering hardware quirks.
Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
Atomic secret provisioning for NixOS based on sops
Real-time microphone noise suppression on Linux.
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
A refreshingly simple data-driven game engine built in Rust
A feature-rich command-line audio/video downloader
Self-referencial structs using the async/await transformation
AI-Powered Photos App for the Decentralized Web 🌈💎✨
A modular implementation of timely dataflow in Rust
A simple multi-profile Nix-flake deploy tool.
A easy (and fast) typescript validation library/macro. Automatically generate validation functions for Typescript types.
A super-easy, composable, web server framework for warp speeds.