Olivier ROLAND

awesome-rust-formalized-reasoning. An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

scala-netty-examples. Scala port of the examples from Jboss Netty distribution

dictionary-builder. Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.

scala-atp. Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala

parse_mediawiki_dump. parse_mediawiki_dump clone

haskell-atp. Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

ocaml-atp. Code from John Harrison's Handbook of Practical Logic and Automated Reasoning

TMDb-async-client. Scala async wrapper for TMDb (The Movie Database) API

multi-machine-dedup. Deduplication tool using SQLite to allow multi-machine features.

TMDb-shelf. Movie collection manager using TMDb API, built with Rust & Iced.

shakuntala-devi-trainer. Brain training tool inspired by Shakuntala Devi's technics

mailslot. an smtp-based appserver

Scallina. A Coq-based synthesis of Scala programs which are correct-by-construction

MELIA. Clone of MELIA a theorem prover for the Model Evolution Calculus with Equality and built-in linear integer arithmetic.

gourmand-web-viewer. Web viewer for Gourmand Recipe Manager

VersatiList. A multi-platform dynamic list filter

playground-rs. Rust playground

scalafxml-demo. scalafxml-demo is a scalaFXML port of The Audio Configuration “More Cowbell” program from Pro JavaFX 2 book.

gallery-rs. Rust Language Code Gallery covering a variety of fields and programming styles

mailcrush. A high-efficiency mail lossless compression tool that deconstructs emails for maximum compression.