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:Scala366 19 71855
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:TypeScript861 25 72439
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 35
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 3855
RustySecrets
🔑 Threshold Shamir's secret sharing in Rust
Language:Rust263 20 2633

romac's Repositories

romac/lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Language:Haskell7 4 00
romac/ADAProject
🔬 Project proposal for the Applied Data Analysis course at EPFL
Language:Jupyter Notebook3 4 0
romac/him
:fountain_pen: A text editor written in Haskell (WIP)
Language:Haskell2 3 0
romac/node-flick
GitHub post-receive hooks handler for Node.js (ABANDONED)
Language:JavaScript2
romac/x86-snippets
Random x86 assembly snippets I wrote while learning the basics.
Language:Assembly2 3 0
romac/parsatron.js
🚧 A parser combinators library for JavaScript (ABANDONED)
Language:JavaScript1 3 0
romac/scalajs-free-canvas
🎨 HTML5 Canvas API as a Free monad for Scala.js (WIP)
Language:Scala1 3 0
romac/stripe-ctf-3.0
Stripe CTF 3.0
Language:Java1 3 0
romac/thebutton.hs
🔘
Language:Haskell1 3 0
romac/cs211-project
EPFL CS-211 Project (Visual Computing)
Language:Java0 5 01
romac/ADAHomeworks
🔬 Homework assignments for the Applied Data Analysis course at EPFL
Language:Jupyter Notebook
romac/bsc-project-report
📈 Report + presentation for my Bachelor semester project at EPFL
Language:Makefile
romac/cargo-watch
Run a Cargo command everytime a source file changes (DEPRECATED)
Language:Shell3 0
romac/fixity-decl
🚧 User-defined fixity declarations with Megaparsec
Language:Haskell3 0
romac/haskell-tool
Language:Shell
romac/jo
🚧 Clojure's core.async channels in JavaScript (ABANDONED)
Language:JavaScript3 1
romac/jo-buffers
🚧 Clojure's core.async buffers in JavaScript (ABANDONED)
Language:JavaScript3 1
romac/LARA-MscSemesterProject
Language:Scala
romac/leon
💯 The Leon system for verification, synthesis, and more.
Language:Scala3 7
romac/leon-web
💯 Web-interface for Leon, a synthesis and verification system for Scala
Language:Scala3 0
romac/leon-web-testcases
Language:Scala3 0
romac/mvto
Prototype Haskell implementation of the "Multiversion Timestamp Ordering" protocol (WIP)
Language:Haskell3 0
romac/package-sets
A curated list of PureScript packages
Language:Shell
romac/Pebble-Gare
A Pebble App for finding out when the next metro is in Lausanne.
Language:C3 0
romac/purescript-bookmarks
🔖 PureScript wrapper for the WebExtensions bookmarks API
Language:PureScript1 0
romac/react-sortable
A sortable list component built w/ React
Language:JavaScript
romac/safeweb
Proposition of a faster and more secure Web (MinimaLT + DNSNMC)
Language:TeX3 0
romac/SAV-Presentation
Language:TeX
romac/slur
🚧 Stupid simple interpreter for a subset of Scheme, in Scala
Language:Scala3 0
romac/spacemacs-layers
Spacemacs configuration layers
Language:Emacs Lisp3 0