newca12/parse_mediawiki_dump

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Rust
License
MIT License
Created almost 3 years ago
Updated about 1 year ago

newca12/parse_mediawiki_dump

newca12

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

parse_mediawiki_dump clone

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

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

gallery-rs

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

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.