romac
Follow
🔮
λ
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @_romac
Highlights
Block or Report
Block or report romac
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
informalsystems/itf-rs
informalsystems/itf-rs PublicRust library for consuming Apalache ITF traces
-
epfl-lara/stainless
epfl-lara/stainless PublicVerification framework and tool for higher-order Scala programs
-
SpinResearch/RustySecrets
SpinResearch/RustySecrets Public🔑 Threshold Shamir's secret sharing in Rust
-
oxid-light
oxid-light PublicPrototype functional programming language with refinement types, powered by Inox
-
lfc-haskell
lfc-haskell Public🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Haskell 7
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.