Rankings
Badges
/
newca12
Rankings
Badges
Overview
Ranks
Repositories
Languages
Olivier ROLAND
@newca12
Refresh
Open GitHub
🇫🇷 France
Profile age: almost 15 years
Updated 1 day ago
29 followers • 0 following
Contacts
https://edla.org
Repositories
awesome-rust-formalized-reasoning
355
11
updated 6 days ago • age over 4 years
scala-netty-examples
Archived
72
22
updated over 6 years ago • age over 14 years
Scala
100.0%
dictionary-builder
61
14
updated 7 months ago • age almost 15 years
Rust
100.0%
scala-atp
13
3
updated over 6 years ago • age over 14 years
Scala
64.9%
Jupyter Notebook
35.1%
parse_mediawiki_dump
10
5
updated 7 months ago • age over 3 years
Rust
100.0%
ocaml-atp
8
2
updated 3 months ago • age almost 8 years
OCaml
98.0%
Standard ML
1.6%
Makefile
0.5%
haskell-atp
8
3
updated over 1 year ago • age over 12 years
Haskell
97.4%
TeX
2.1%
Makefile
0.4%
CSS
0.1%
Contributions
2024
awesome-selfhosted-data
1 PR
+2
-2
Makefile
759
609
2023
futures-rs
1 PR
+4
-3
Rust
5,733
665
65
2022
antlr4rust
1 PR
+1
-1
Rust
445
74
6
rust-utf7-imap
3 PRs
+174
-45
Rust
2
2
2021
this-week-in-rust
1 PR
+1
-0
Python
2,412
1,295
2020
rust-by-example
1 PR
+2
-1
JavaScript
7,651
1,462
normalization-bench
1 PR
+42
-7
Haskell
59
6
2019
scala3
3 PRs
+57
-37
Scala
6,127
1,118
182
alpakka
1 PR
+6
-1
Scala
1,268
638
65
ProvingGround
1 PR
+10
-2
Jupyter Notebook
205
38
Show more
