Explore @proof-ninja Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Dart

Lua

OCaml

Nix

Shell

Ruby

C

F#

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Lua

Shell

Clojure

Go

Nix

C#

Python

Racket

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇳🇦 Namibia

🇭🇺 Hungary

🇬🇫 French Guiana

🇵🇪 Peru

🇬🇲 The Gambia

🇦🇬 Antigua and Barbuda

🇰🇳 Saint Kitts and Nevis

🇲🇼 Malawi

All Countries Compare Countries

@proof-ninja

proof-ninja

Stars
39
Global Org. Rank 88,264 (Top 29 %)
Registered almost 5 years ago
Most used languages

OCaml
33.3 %

Coq 25.0 %

Scala
16.7 %

TypeScript
16.7 %

Dockerfile
8.3 %
Location 🇯🇵 Japan
Country Total Rank 7,507
Country Ranking

Coq 14

OCaml
44

Scala
299

Dockerfile
698

TypeScript
1,232

coqpad

証明検索No.1／定理の証明載せるならコックパッド

ocaml-blake3

coqban

merckletree_coq

Formal Verification of Merckle Proof algorithm in Coq

norimaki

scala-text-repo

coq-scaml

SCaml Smart Contract Environment for Coq Provers

coq-result

The Result Type for Coq

docker-BIRDS

Dockerfile of BIRDS

ovm_contracts_scaml

OVM implementation in SCaml on Tezos

clang2cabs

akka-artery-remote-sample

g-shock