petrosagg

petrosagg's Stars

• model-checking/verify-rust-std

  Verifying the Rust standard library

  Language:Rust19438

• zoep/PL2

  Course Material for "Programming Languages II"

  Language:Coq67

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k203

• OpenTracksApp/OpenTracks

  OpenTracks is a sport tracking application that completely respects your privacy.

  Language:Java1.1k194

• Shakil-Shahadat/awesome-piracy

  A curated list of awesome warez and piracy links.

  Language:HTML2k86

• mzucker/page_dewarp

  Text page dewarping using a "cubic sheet" model

  Language:Python1.4k240

• organicmaps/organicmaps

  🍃 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, no tracking, no data collection, no crapware. Please donate to support the development!

  Language:C++10.2k984

• obi1kenobi/trustfall

  A query engine for any combination of data sources. Query your files and APIs as if they were databases!

  Language:Rust2.4k68

• vccimaging/DiffOptics

  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".

  Language:Python15624

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k379

• danielhenrymantilla/polonius-the-crab.rs

  Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust

  Language:Rust972

• Actyx/sync_wrapper

  Language:Rust299

• kimono-koans/httm

  Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even Time Machine and Restic backups!)

  Language:Rust1.4k29

• kitesurfer1404/WS2812FX

  WS2812 FX Library for Arduino and ESP8266

  Language:C++1.6k348

• NixOS/nixos-hardware

  A collection of NixOS modules covering hardware quirks.

  Language:Nix2.1k658

• fzyzcjy/flutter_rust_bridge

  Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.

  Language:Dart4.4k304

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.2k1.6k

• getsops/sops

  Simple and flexible tool for managing secrets

  Language:Go17.3k890

• Mic92/sops-nix

  Atomic secret provisioning for NixOS based on sops

  Language:Nix1.7k157

• noisetorch/NoiseTorch

  Real-time microphone noise suppression on Linux.

  Language:Go9.4k234

• DataDog/glommio

  Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

  Language:Rust3.1k165

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust37.2k3.7k

• tokio-rs/console

  a debugger for async rust!

  Language:Rust3.7k145

• yt-dlp/yt-dlp

  A feature-rich command-line audio/video downloader

  Language:Python94.5k7.4k

• petrosagg/escher

  Self-referencial structs using the async/await transformation

  Language:Rust432

• photoprism/photoprism

  AI-Powered Photos App for the Decentralized Web 🌈💎✨

  Language:Go35.9k2k

• TimelyDataflow/timely-dataflow

  A modular implementation of timely dataflow in Rust

  Language:Rust3.3k273

• serokell/deploy-rs

  A simple multi-profile Nix-flake deploy tool.

  Language:Rust1.4k100

• maddyblue/sqlfmt

  SQL formatter with width-aware output

  Language:Go41823

• vedantroy/typecheck.macro

  A easy (and fast) typescript validation library/macro. Automatically generate validation functions for Typescript types.

  Language:TypeScript4157