eaon
GitHub; Trademark; centralised infrastructure for a distributed system 🤔 Almost everything here is a mirror, see Codeberg link below
@freedomofpressNYC
eaon's Stars
Martichou/rquickshare
Rust implementation of NearbyShare/QuickShare from Android for Linux and macOS.
openmls/openmls
Rust implementation of the Messaging Layer Security (MLS) protocol
TitouanReal/csidh
AeneasVerif/aeneas
A verification toolchain for Rust programs
hacspec/hax
A Rust verification tool
oxc-project/oxc
⚓ A collection of JavaScript tools written in Rust.
lustre-labs/lustre
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
ProofFrog/ProofFrog
A tool for verifying game-hopping proofs
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
tlaplus-community/tlauc
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
mewz-project/mewz
A unikernel designed specifically for running Wasm applications and compatible with WASI
rrbutani/nix-mk-shell-bin
`nix develop`, but at build time
cloud-hypervisor/cloud-hypervisor
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
jtmcx/verilog-monitor
Stream farbfeld images to a monitor using an FPGA
Janmajayamall/ObliviousMessageRetrieval
M4SS-Code/cargo-goggles
Verify that registry crates in your Cargo.lock are reproducible from the git repository
Garrett-Bodley/SHAlala
Turn Your SHA1 into Music If You Want to Do That For Some Reason
lambdalisue/rs-mdbook-alerts
mdBook preprocessor to add GitHub Flavored Markdown's Alerts to your book
badboy/mdbook-mermaid
A preprocessor for mdbook to add mermaid support
Lookyloo/lookyloo
Lookyloo is a web interface that allows users to capture a website page and then display a tree of domains that call each other.
DavidVentura/tpom
Replace time-related functions in vDSO
Heliozoa/elm_rs
Generate Elm type definitions and JSON encoders/decoders from Rust types.
zwilias/elm-json
Install, upgrade and uninstall Elm dependencies
codahale/ml-kem-in-the-middle
Making ML-KEM-768 ciphertexts indistinguishable from random noise.
freedomofpress/otter
Infrastructure framework for Qubes-OS based testing on VMWare
jtmcx/mltt-church-rosser
Coq Proof of the Church-Rosser Theorem for Martin-Löf's Type Theory
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
ayazhafiz/xorf
Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.
anmolitor/travelm-agency
Compile time internationalization for Elm supporting multiple input and output formats