Pinned Repositories
adl.github.io
amc2moodle
amc2moodle, is an automatic tool to convert multiple choice quiz between auto-muliple-choice LaTeX format and moodle XML format.
binder
Binder metapackage for usage, docs, and chat
binder-test
testing mybinder.org
binderhub
Deterministically build docker images from a git repository + commit
dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
hoaf
Hanoi Omega-Automata Format
hoaf-tests
a repository of correct and incorrect automata in HOA format
RISE
RISE: LIVE Reveal.js Jupyter/IPython Slideshow Extension
spot-docker
Docker images related to Spot
adl's Repositories
adl/hoaf
Hanoi Omega-Automata Format
adl/hoaf-tests
a repository of correct and incorrect automata in HOA format
adl/RISE
RISE: LIVE Reveal.js Jupyter/IPython Slideshow Extension
adl/spot-docker
Docker images related to Spot
adl/adl.github.io
adl/amc2moodle
amc2moodle, is an automatic tool to convert multiple choice quiz between auto-muliple-choice LaTeX format and moodle XML format.
adl/binder
Binder metapackage for usage, docs, and chat
adl/binder-test
testing mybinder.org
adl/binderhub
Deterministically build docker images from a git repository + commit
adl/dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
adl/genem-exp
Artifacts for our paper on generic emptiness check of ω-automata
adl/genem-exp2
Artifacts for our second paper on generic emptiness check of ω-automata
adl/ltlcross_wrapper
Python wrapper of ltlcross from Spot
adl/material-ui
React components that implement Google's Material Design.
adl/neco-net-compiler
Automatically exported from code.google.com/p/neco-net-compiler
adl/org-msg
OrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.
adl/pareto-rational-verification
Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).
adl/plantuml-mode
A major mode for editing PlantUML sources in Emacs
adl/repo2docker
Turn git repositories into Jupyter enabled Docker Images
adl/robin-hood-hashing
Fast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20
adl/satminexp
SAT-based minimization experiment
adl/seminator
Seminator is a free tool for semi-determinization of omega automata.
adl/seminator-docker
Docker image for running seminator and its Python bindings
adl/staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
adl/ESS
Emacs Speaks Statistics: ESS
adl/hoaf-docker
docker image with HOAF tools
adl/melpa
Scripts for building Emacs packages from Version Control