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

Reviews

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

Repository Details

Brain training tool inspired by Shakuntala Devi's technics

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

gourmand-web-viewer

Web viewer for Gourmand Recipe Manager
Rust
1
star
11

VersatiList

A multi-platform dynamic list filter
Rust
1
star
12

multi-machine-dedup

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

playground-rs

Rust playground
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