Skip to content
View petrosagg's full-sized avatar

Organizations

@NixOS @eellak

Block or report petrosagg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Prove functional correctness of Ethereum smart contracts in higher-order logic

Standard ML 19 8 Updated Feb 24, 2025

Verifying the Rust standard library

Rust 210 41 Updated Feb 25, 2025

Course Material for "Programming Languages II"

Coq 7 8 Updated Feb 19, 2025

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

Java 2,377 209 Updated Feb 25, 2025

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

Java 1,160 198 Updated Feb 26, 2025

A curated list of awesome warez and piracy links.

HTML 2,147 93 Updated Feb 17, 2025

Text page dewarping using a "cubic sheet" model

Python 1,455 241 Updated Mar 2, 2023

πŸƒ 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, …

C++ 10,608 1,022 Updated Feb 25, 2025

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

Rust 2,592 73 Updated Feb 24, 2025

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

Python 168 28 Updated Apr 20, 2023

A purely functional programming language with first class types

Idris 2,604 381 Updated Feb 26, 2025

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

Rust 102 3 Updated Nov 8, 2024
Rust 30 9 Updated Nov 20, 2024

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

Rust 1,439 30 Updated Feb 24, 2025

WS2812 FX Library for Arduino and ESP8266

C++ 1,635 353 Updated Dec 1, 2024

A collection of NixOS modules covering hardware quirks.

Nix 2,252 700 Updated Feb 24, 2025

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

Dart 4,492 320 Updated Feb 24, 2025

Nix, the purely functional package manager

C++ 13,640 1,596 Updated Feb 25, 2025

Simple and flexible tool for managing secrets

Go 17,839 906 Updated Feb 25, 2025

Atomic secret provisioning for NixOS based on sops

Nix 1,851 169 Updated Feb 24, 2025

Real-time microphone noise suppression on Linux.

Go 9,517 227 Updated Jan 13, 2025

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

Rust 3,193 168 Updated Feb 7, 2025

A refreshingly simple data-driven game engine built in Rust

Rust 38,115 3,755 Updated Feb 26, 2025

a debugger for async rust!

Rust 3,788 149 Updated Jan 22, 2025

A feature-rich command-line audio/video downloader

Python 101,992 7,988 Updated Feb 23, 2025

Self-referencial structs using the async/await transformation

Rust 43 2 Updated Apr 13, 2021

AI-Powered Photos App for the Decentralized Web πŸŒˆπŸ’Žβœ¨

Go 36,552 2,024 Updated Feb 25, 2025

A modular implementation of timely dataflow in Rust

Rust 3,367 276 Updated Feb 18, 2025

A simple multi-profile Nix-flake deploy tool.

Rust 1,517 103 Updated Feb 24, 2025

SQL formatter with width-aware output

Go 421 22 Updated Oct 29, 2024
Next
Showing results