picorana / align_covid
Coronavirus time series aligned by number of cases, not date.
☆22Updated 4 years ago
Related projects: ⓘ
- A spiffy theme for LaTex Beamer inspired by Rome☆13Updated 4 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Updated 6 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- ☆44Updated 3 years ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆33Updated 7 months ago
- Interactive publications lists with JavaScript + Bibtex☆131Updated 5 years ago
- ☆66Updated 6 years ago
- Style checker for latex documents☆50Updated 10 months ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆14Updated last week
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- ☆10Updated 9 years ago
- A free, open-source Java library for automata learning algorithms☆200Updated 2 weeks ago
- ☆19Updated 9 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated 11 months ago
- Improved Lecture Notes in Computer Science (LNCS) template☆260Updated last year
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Updated 5 years ago
- An Open Source Python package for the extraction of fine-grained and time-stamped co-editing networks from git repositories.☆54Updated 3 weeks ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆123Updated 6 months ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Updated 2 years ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆62Updated 4 months ago
- 🍀 A system for probabilistic reasoning in clingo☆15Updated 2 months ago
- Synthesizer of LTLf formula☆9Updated last year
- Deadline countdowns for academic conferences in Software Engineering☆14Updated this week
- Python General Framework for Genetic Improvement [Version 2]☆28Updated 9 months ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated last month
- ☆11Updated 6 years ago
- A LaTeX template for creating beautiful PhD theses, originally created by TU Delft.☆96Updated 3 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated last year