adl Goto Github PK

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

ess

Emacs Speaks Statistics: ESS

genem-exp

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

genem-exp2

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

hoaf

Hanoi Omega-Automata Format

hoaf-docker

docker image with HOAF tools

hoaf-tests

a repository of correct and incorrect automata in HOA format

ltlcross_wrapper

Python wrapper of ltlcross from Spot

material-ui

React components that implement Google's Material Design.

melpa

Scripts for building Emacs packages from Version Control

neco-net-compiler

Automatically exported from code.google.com/p/neco-net-compiler

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.

pareto-rational-verification

Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).

plantuml-mode

A major mode for editing PlantUML sources in Emacs

repo2docker

Turn git repositories into Jupyter enabled Docker Images

rise

RISE: LIVE Reveal.js Jupyter/IPython Slideshow Extension

robin-hood-hashing

Fast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20

satminexp

SAT-based minimization experiment

seminator

Seminator is a free tool for semi-determinization of omega automata.

seminator-docker

Docker image for running seminator and its Python bindings

spot-docker

Docker images related to Spot

staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks