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
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
lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
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/react-if
🌗 Render React components conditionally
romac/mdash
My personal dashboard for the Safari new tab page
romac/mdash-chrome
⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
romac/choreo
Choreographic programming in Scala
romac/dotfiles
👤 ~/.*
romac/AstroVim
My AstroVim config
romac/romac.me-old
🌍 Personal website
romac/risc0-ibc
romac/cargo-llvm-cov
[EXPERIMENTAL] A wrapper for source based code coverage (-Zinstrument-coverage).
romac/deku
Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization
romac/free.rs
Free monads in Rust (WIP)
romac/fsr
:sunrise_over_mountains: Website of france-schmid.ch
romac/ghcup-hs
romac/inox
Solver interface for higher-order functional programs
romac/libp2p-broadcast
Broadcast messages to connected peers
romac/lightspike_gen
romac/MOS-6502-Emulator
A MOS 6502 Emulator written in Swift
romac/pbjson
Auto-generate serde implementations for prost types
romac/prezto
🐚 Custom prezto config
romac/quint
Executable specification language with delightful tooling
romac/ractor
Rust actor framework
romac/relayer-metrics-exporter
romac/rust-secure-code-projects
Contains a list of security related Rust projects.
romac/scallion
LL(1) parser combinators in Scala
romac/sconfig
Configuration file management for the Linux Shell
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/stainless
💯 Verification framework for higher-order functional programs
romac/stoml
Simple TOML parser for Bash
romac/tonic
A native gRPC client & server implementation with async/await support.
romac/xcconfig
xcconfig files