romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystemsLausanne, Switzerland
Pinned Repositories
malachite
Flexible BFT consensus engine in Rust
stainless
Verification framework and tool for higher-order Scala programs
itf-rs
Rust library for consuming Apalache ITF traces
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
cargo-build-deps
⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
choreo
Choreographic programming in Scala
mdash-chrome
⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
node-houdini
Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
react-if
🌗 Render React components conditionally
RustySecrets
🔑 Threshold Shamir's secret sharing in Rust
romac's Repositories
romac/react-if
🌗 Render React components conditionally
romac/mdash
My personal dashboard for the Safari new tab page
romac/choreo
Choreographic programming in Scala
romac/genawaiter2
Stackless generators on stable Rust. Forked from genawaiter. Not published yet.
romac/AstroVim
My AstroVim config
romac/loc-idle
An incremental game for producing code inspired by Universal Paperclips
romac/libp2p-scatter
Broadcast messages to connected peers
romac/promquery
Query and visualize Prometheus metrics from the command-line
romac/qnt-interpreter
romac/risc0-ibc
romac/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
romac/cmv
Rust implementation of "Distinct Elements in Streams: An Algorithm for the (Text) Book"
romac/dedenne
Cute little generators for Rust using async/await
romac/doktest
romac/effing-mad
Algebraic effects for Rust
romac/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
romac/fsr
:sunrise_over_mountains: Website of france-schmid.ch
romac/homebrew-extras
🍻 Additional recipes for use by brew
romac/imbl-indexed
Immutable maps and sets that preserve insertion order, backed by `imbl`
romac/libtailscale
Tailscale C library
romac/lldb-mcp
LLDB MCP server
romac/malachite
Flexible BFT consensus engine in Rust
romac/openingh.nvim
Open file or project in GitHub for neovim written in lua
romac/ractor
Rust actor framework
romac/romac
My GitHub profile
romac/selfie
Swift-inspired toy programming language (WIP)
romac/servo-bug-quint
romac/spot
Cats Effect instances for Turbolift
romac/sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.
romac/usolver
A best-effort universal numerical, logical and symbolic solver interface for MCP