Popular repositories Loading

1. awesome-rust-formalized-reasoning awesome-rust-formalized-reasoning Public

   An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

   403 15

2. scala-netty-examples scala-netty-examples Public archive

   Scala port of the examples from Jboss Netty distribution

   Scala 71 22

3. dictionary-builder dictionary-builder Public

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

   Rust 60 15

4. scala-atp scala-atp Public

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

   Scala 14 3

5. parse_mediawiki_dump parse_mediawiki_dump Public

   parse_mediawiki_dump clone

   Rust 13 6

6. haskell-atp haskell-atp Public

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

   Haskell 9 3