Discover @arthur-adjedj 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.

Jupyter Notebook

Nix

Haskell

Lua

Erlang

Elixir

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.

C

Crystal

C++

Julia

Lua

Go

Zig

Elm

More Languages
By Country

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

🇵🇪 Peru

🇫🇯 Fiji

🇬🇪 Georgia

🇬🇱 Greenland

🇰🇾 Cayman Islands

🇺🇦 Ukraine

🇷🇼 Rwanda

🇦🇼 Aruba

All Countries Compare Countries

Arthur Adjedj (@arthur-adjedj)

arthur-adjedj

Stars
13
Global Rank 834,067 (Top 29 %)
Followers 29
Following 20
Registered about 7 years ago
Most used languages

HTML
25.0 %

Lean 25.0 %

OCaml
25.0 %

Coq 25.0 %
Location 🇺🇸 United States
Country Total Rank 18,508
Country Ranking

Lean 94

Coq 121

OCaml
412

LKSolver

A simple experimental solver based on sequent calculus, made for academic purposes

LF

proof_Q_denumerable

A first attempt at proofs using Lean Theorem prover. The goal here is to prove that Q is denumerable.

NotPokemon

A simple game written in Scala resembling a familiar franchise