Discover @adl 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.

Clojure

C++

CSS

Shell

PowerShell

Crystal

Java

CoffeeScript

More Languages
Awesome

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

Jupyter Notebook

C++

Swift

Perl

Scala

Java

C#

PHP

More Languages
By Country

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

🇬🇷 Greece

🇺🇬 Uganda

🇪🇹 Ethiopia

🇿🇲 Zambia

🇨🇱 Chile

🇧🇯 Benin

🇨🇰 Cook Islands

🇸🇸 South Sudan

All Countries Compare Countries

Alexandre Duret-Lutz (@adl)

adl

Stars
38
Global Rank 413,863 (Top 15 %)
Followers 20
Registered over 13 years ago
Most used languages

Jupyter Notebook
50.0 %

Shell
25.0 %

Perl
12.5 %

TeX
12.5 %
Location 🇫🇷 France
Country Total Rank 9,511
Country Ranking

TeX
116

Perl
239

Jupyter Notebook
1,411

Shell
2,344

hoaf

Hanoi Omega-Automata Format

spot-docker

Docker images related to Spot

hoaf-tests

a repository of correct and incorrect automata in HOA format

binder-test

testing mybinder.org

Jupyter Notebook

satminexp

SAT-based minimization experiment

seminator-docker

Docker image for running seminator and its Python bindings

Jupyter Notebook

genem-exp2

Artifacts for our second paper on generic emptiness check of ω-automata

Jupyter Notebook

adl.github.io

genem-exp

Artifacts for our paper on generic emptiness check of ω-automata

Jupyter Notebook