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
Language:Scala363 19 71154
itf-rs
Rust library for consuming Apalache ITF traces
Language:Rust5 4 31
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript841 23 70537
cargo-build-deps
⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
Language:Rust12 4 02
choreo
Choreographic programming in Scala
Language:Scala4 2 00
mdash-chrome
⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
Language:JavaScript21 6 34
node-houdini
Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
Language:C11 3 01
oxid-light
Prototype functional programming language with refinement types, powered by Inox
Language:Scala7 4 01
react-if
🌗 Render React components conditionally
Language:TypeScript1.1k 11 3754
RustySecrets
🔑 Threshold Shamir's secret sharing in Rust
Language:Rust259 20 2633

romac's Repositories

romac/react-if
🌗 Render React components conditionally
Language:TypeScript1.1k 11 3754
romac/mdash
My personal dashboard for the Safari new tab page
Language:JavaScript21 2 04
romac/choreo
Choreographic programming in Scala
Language:Scala4 2 00
romac/AstroVim
My AstroVim config
Language:Lua2 2 0
romac/genawaiter2
Stackless generators on stable Rust. Forked from genawaiter. Not published yet.
Language:Rust2
romac/libp2p-scatter
Broadcast messages to connected peers
Language:Rust1 2 21
romac/loc-idle
An incremental game for producing code inspired by Universal Paperclips
Language:Rust1 1 0
romac/promquery
Query and visualize Prometheus metrics from the command-line
Language:Rust1
romac/risc0-ibc
Language:Rust1 2 0
romac/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript0 1 00
romac/dante
Toy RISC-V 64-bit kernel written in Rust (WIP)
Language:Rust
romac/deku
Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization
Language:Rust1 0
romac/denis
Toy DNS server written in Rust
Language:Rust
romac/effing-mad
Algebraic effects for Rust
Language:Rust0 0
romac/fsr
:sunrise_over_mountains: Website of france-schmid.ch
Language:JavaScript2 2
romac/ghcup-hs
Language:Haskell1 0
romac/homebrew-extras
🍻 Additional recipes for use by brew
Language:Ruby4 0
romac/MOS-6502-Emulator
A MOS 6502 Emulator written in Swift
Language:Swift1 0
romac/openingh.nvim
Open file or project in GitHub for neovim written in lua
Language:Lua0 0
romac/pbjson
Auto-generate serde implementations for prost types
Language:Rust1 0
romac/qnt-interpreter
Language:Rust
romac/ractor
Rust actor framework
Language:Rust1 0
romac/relayer-metrics-exporter
Language:TypeScript1 0
romac/sconfig
Configuration file management for the Linux Shell
Language:Go1 0
romac/selfie
Swift-inspired toy programming language (WIP)
Language:Rust
romac/servo-bug-quint
Language:Bluespec1 0
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.
Language:Rust1 0
romac/stoml
Simple TOML parser for Bash
Language:Go1 0
romac/wesley
Toy WebSocket implementation in Rust
Language:Rust
romac/xcconfig
xcconfig files
Language:Shell1 0