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:Scala371 18 72155
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:TypeScript900 26 73647
cargo-build-deps
⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
Language:Rust12 3 02
choreo
Choreographic programming in Scala
Language:Scala4 2 01
mdash-chrome
⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
Language:JavaScript21 6 36
node-houdini
Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
Language:C11 2 01
oxid-light
Prototype functional programming language with refinement types, powered by Inox
Language:Scala7 3 01
react-if
🌗 Render React components conditionally
Language:TypeScript1.1k 10 3956
RustySecrets
🔑 Threshold Shamir's secret sharing in Rust
Language:Rust264 20 2633

romac's Repositories

romac/node-houdini
Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
Language:C11 2 01
romac/Alfred-BitcoinStats
💰 Displays statistics from realtimebitcoin.info in Alfred 2
1 4 01
romac/Askull
ASCII -> EOS-SKL
Language:C1 3 0
romac/Powered
Powered is a TYPO3 extension which adds functionalities to the Extbase MVC framework shipped with TYPO3 since version 4.3 (DEPRECATED)
Language:PHP1 4 0
romac/Romac.tmbundle
TextMate bundle with many snippets and commands for PHP, JavaScript, XHTML, CSS and TYPO3 (ABANDONED)
Language:PHP1 4 0
romac/RRoEmbed
RRoEmbed is a PHP 5.3+ library which provides an object-oriented interface to consume oEmbed resources (ABANDONED)
Language:PHP1 3 02
romac/TumblrFS
TumblrFS is a MacFUSE file system which allows you to browse a tumblog as if it was a volume on your computer (EXPERIMENTAL)
Language:Objective-C1 3 0
romac/FlameMaker
🔥 Project for EPFL CS-198
Language:Java4 4
romac/OROpenSubtitleDownloader
An Obj-C API for Searching and Downloading Subtitles from OpenSubtitles.
Language:Objective-C3 0
romac/RRSlug
PHP 5.3 library to convert any kind of text into an URL friendly string (ABANDONED)
Language:PHP4 0
romac/Subtilest
🎬 A subtitle finder for the Mac
Language:Objective-C3 5
romac/trakwave.js
Language:JavaScript
romac/voodoo.mk
Let the voodoo build your C project for you (EXPERIMENTAL)
Language:C3 0
romac/wastewars
👾 Defend the Earth from the all the broken satellites coming from above
Language:JavaScript
romac/webkit2png
png screenshots of webpages
Language:Python3 0