Misc. publications, conference slides, etc. For more, go to https://BartoszMilewski.com

Zero-cost functional reactive Signals for Rust

YugabyteDB - the cloud native distributed SQL database for mission-critical applications.

Spartan: High-speed zkSNARKs without trusted setup

Symbolic execution engine for .NET Core

Universal Symbolic Virtual Machine

A gently curated list of companies using verification formal methods in industry

Official repo for the #tidytuesday project

Cloud & DevOps Architecture Diagrams-as-Code in Python and D2 languages

A library for creating reactive web apps in Rust and WebAssembly

Nomad, Consul & Vault cluster in Proxmox

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Proxmox VE Helper-Scripts

A list of tools and material on steganography and information hiding

Platform for emulation and dynamic analysis of Linux-based firmware

Tool for visualizing and empirically analyzing information encoded in binary files

Collection of steganography tools - helps with CTF challenges

💥💻💥 A data-parallel functional programming language

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Advanced normal algorifm executor