jm62300

Pinned Repositories

GDRIA-clubindust
11
team-formation
Language:TeX11
jigsaw-cli
Jigsaw-CLI is a Java command-line arguments parsing library based on annotations. Contrary to most of this kind of library, Jigsaw-CLI implements the Java module system introduced in Java 9.
Language:Java00
MyEnvironment
My dotfiles and various other configurations
Language:Emacs Lisp00
website
SAT Live! web site
Language:HTML00
d4
d4 Model Counter
Language:C++134
website
SAT Live! web site
Language:HTML1128
d4v2
Language:C++77
b-plus-e
Language:C++50
Diagnosability
We show how to encode bounded diagnosability problem for finite automata in smt with the files available here
Language:Python10

jm62300's Repositories

jm62300/team-formation
Language:TeX11
jm62300/GDRIA-clubindust
11
jm62300/jigsaw-cli
Jigsaw-CLI is a Java command-line arguments parsing library based on annotations. Contrary to most of this kind of library, Jigsaw-CLI implements the Java module system introduced in Java 9.
jm62300/MyEnvironment
My dotfiles and various other configurations
jm62300/website
SAT Live! web site
Language:HTML