newca12/gallery-rs

Stars
1
Language
Rust
Created over 4 years ago
Updated 11 months ago

newca12/gallery-rs

newca12

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Rust Language Code Gallery covering a variety of fields and programming styles

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

ocaml-atp

Code from John Harrison's Handbook of Practical Logic and Automated Reasoning

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)

shakuntala-devi-trainer

Brain training tool inspired by Shakuntala Devi's technics

gourmand-web-viewer

Web viewer for Gourmand Recipe Manager

VersatiList

A multi-platform dynamic list filter

multi-machine-dedup

Deduplication tool using SQLite to allow multi-machine features.

playground-rs

Rust playground

MELIA

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

scalafxml-demo

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