Discover @newca12 Open Source projects

Olivier ROLAND (@newca12)

newca12

Stars
473
Global Rank 60,711 (Top 3 %)
Followers 28
Registered almost 14 years ago
Most used languages

Rust
50.0 %

Scala
31.3 %

Haskell
6.3 %

Java
6.3 %

OCaml
6.3 %
Location 🇫🇷 France
Country Total Rank 1,926
Country Ranking

Scala
37

Haskell
92

OCaml
135

Rust
205

Java
5,656

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

parse_mediawiki_dump

parse_mediawiki_dump clone

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.