Romain Ruetschi's repositories
cargo-build-deps
⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
oxid-light
Prototype functional programming language with refinement types, powered by Inox
msc-thesis-report
MSc Thesis: Systems Modelling with Stainless
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
dotty
Research platform for new language concepts and compiler technologies for Scala.
internship-rs
Interned string and more for rust
jsonld-rs
Rust library for processing JSON-LD
package-sets
A curated list of PureScript packages
reple
"Replay-based" REPLs for compiled languages.
rust-secure-code-projects
Contains a list of security related Rust projects.
rust-usdt
Inject USDT probes into rust code
sbt-eta
An sbt plugin that integrates Eta into Scala projects.
scala-smtlib
SMT-LIB library for Scala
StainlessFit
Stainless directly built on System FR, with standalone front-end
sunder
Sunder is a user-friendly interface for Shamir's Secret Sharing.
unicorn-bios
Basic BIOS emulator for Unicorn Engine.