romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystemsLausanne, Switzerland
Pinned Repositories
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)
oxid-light
Prototype functional programming language with refinement types, powered by Inox
react-if
🌗 Render React components conditionally
RustySecrets
🔑 Threshold Shamir's secret sharing in Rust
romac's Repositories
romac/cargo-build-deps
⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
romac/oxid-light
Prototype functional programming language with refinement types, powered by Inox
romac/mental
🚧 Yet Another ML Dialect (WIP)
romac/msc-thesis-report
MSc Thesis: Systems Modelling with Stainless
romac/romac.me-old
🌍 Personal website
romac/futures-await
romac/rocket-slog-fairing
Fairing that you can attach to your rocket.rs application to enable use of a slog Logger in your handlers. Fork of https://gitlab.com/pwoolcoc/rocket-slog-fairing
romac/bolts
Bolts: Stainless Verified Scala
romac/cask
A fast key-value store written in Rust
romac/dotty
Research platform for new language concepts and compiler technologies for Scala.
romac/internship-rs
Interned string and more for rust
romac/jsonld-rs
Rust library for processing JSON-LD
romac/metals-test-stainless
romac/prezto
🐚 Custom prezto config
romac/reple
"Replay-based" REPLs for compiled languages.
romac/rust-secure-code-projects
Contains a list of security related Rust projects.
romac/rust-usdt
Inject USDT probes into rust code
romac/sbt-eta
An sbt plugin that integrates Eta into Scala projects.
romac/scala-smtlib
SMT-LIB library for Scala
romac/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
romac/scallion
LL(1) parser combinators in Scala
romac/stainless
💯 Verification framework for higher-order functional programs
romac/stainless-plugin-test
romac/StainlessFit
Stainless directly built on System FR, with standalone front-end
romac/sunder
Sunder is a user-friendly interface for Shamir's Secret Sharing.
romac/talks
📊 A few talks I have given over the years
romac/treenet
Recursive Neural Networks for PyTorch
romac/TypelevelTalk
romac/unicorn-bios
Basic BIOS emulator for Unicorn Engine.
romac/verified-systems