Popular repositories

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.

   263 8

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

   Scala port of the examples from Jboss Netty distribution

   Scala 72 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 54 13

4. scala-atp scala-atp Public

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

   Scala 13 3

5. haskell-atp haskell-atp Public

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

   Haskell 8 2

6. ocaml-atp ocaml-atp Public

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

   OCaml 7 1