romac

react-if

🌗 Render React components conditionally

mdash

My personal dashboard for the Safari new tab page

mdash-chrome

⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks

choreo

Choreographic programming in Scala

dotfiles

👤 ~/.*

AstroVim

My AstroVim config

romac.me-old

🌍 Personal website

risc0-ibc

cargo-llvm-cov

[EXPERIMENTAL] A wrapper for source based code coverage (-Zinstrument-coverage).

deku

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

free.rs

Free monads in Rust (WIP)

fsr

:sunrise_over_mountains: Website of france-schmid.ch

ghcup-hs

inox

Solver interface for higher-order functional programs

libp2p-broadcast

Broadcast messages to connected peers

lightspike_gen

MOS-6502-Emulator

A MOS 6502 Emulator written in Swift

pbjson

Auto-generate serde implementations for prost types

prezto

🐚 Custom prezto config

quint

Executable specification language with delightful tooling

ractor

Rust actor framework

relayer-metrics-exporter

rust-secure-code-projects

Contains a list of security related Rust projects.

scallion

LL(1) parser combinators in Scala

sconfig

Configuration file management for the Linux Shell

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.

stainless

💯 Verification framework for higher-order functional programs

stoml

Simple TOML parser for Bash

tonic

A native gRPC client & server implementation with async/await support.

xcconfig

xcconfig files