• Stars
    star
    1
  • Language
    Rust
  • License
    GNU General Publi...
  • Created over 3 years ago
  • Updated 7 months ago

Reviews

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

Repository Details

Rust playground

More Repositories

1

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.
289
star
2

scala-netty-examples

Scala port of the examples from Jboss Netty distribution
Scala
72
star
3

dictionary-builder

Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.
Rust
58
star
4

scala-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
Scala
13
star
5

ocaml-atp

Code from John Harrison's Handbook of Practical Logic and Automated Reasoning
OCaml
8
star
6

haskell-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
Haskell
8
star
7

parse_mediawiki_dump

parse_mediawiki_dump clone
Rust
5
star
8

TMDb-async-client

Scala async wrapper for TMDb (The Movie Database) API
Scala
3
star
9

TMDb-shelf

JavaFX client for TMDb (The Movie Database)
Scala
2
star
10

shakuntala-devi-trainer

Brain training tool inspired by Shakuntala Devi's technics
Rust
1
star
11

gourmand-web-viewer

Web viewer for Gourmand Recipe Manager
Rust
1
star
12

VersatiList

A multi-platform dynamic list filter
Rust
1
star
13

multi-machine-dedup

Deduplication tool using SQLite to allow multi-machine features.
Rust
1
star
14

gallery-rs

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

MELIA

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

scalafxml-demo

scalafxml-demo is a scalaFXML port of The Audio Configuration β€œMore Cowbell” program from Pro JavaFX 2 book.
Java
1
star