Olivier ROLAND
Results
3
repositories owned by
Olivier ROLAND
awesome-rust-formalized-reasoning
279
Stars
9
Forks
Watchers
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
72
Stars
22
Forks
Watchers
Scala port of the examples from Jboss Netty distribution
dictionary-builder
56
Stars
13
Forks
Watchers
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.