Olivier ROLAND's repositories
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.
dictionary-builder
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.
haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
parse_mediawiki_dump
parse_mediawiki_dump clone
TMDb-async-client
Scala async wrapper for TMDb (The Movie Database) API
TMDb-shelf
JavaFX client for TMDb (The Movie Database)
gallery-rs
Rust Language Code Gallery covering a variety of fields and programming styles
gourmand-web-viewer
Web viewer for Gourmand Recipe Manager
multi-machine-dedup
Deduplication tool using SQLite to allow multi-machine features.
playground-rs
Rust playground
shakuntala-devi-trainer
Brain training tool inspired by Shakuntala Devi's technics
VersatiList
A multi-platform dynamic list filter
antlr4rust
ANTLR4 parser generator runtime for Rust programming laguage
awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
awesome-selfhosted-data
machine-readable data for https://awesome-selfhosted.net
futures-rs
Zero-cost asynchronous programming in Rust
newca12.github.com
EDLA home page
normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
plar-rs
Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in Rust
ProvingGround
Proving Ground: Tools for Automated Mathematics
rust-by-example
Learn Rust with examples (Live code editor included)
rust-utf7-imap
Mailbox names decoder (UTF-7 IMAP RFC3501)
the-definitive-antlr4-reference-rs
Examples from Terence Parr's "The Definitive ANTLR 4 Reference" ported to Rust.
tokio-imap
Tokio-based IMAP implementation
twoskip-rs
Robust single-file KV store for Rust