picorana / align_covidLinks
Coronavirus time series aligned by number of cases, not date.
☆22Updated 5 years ago
Alternatives and similar repositories for align_covid
Users that are interested in align_covid are comparing it to the libraries listed below
Sorting:
- A spiffy theme for LaTex Beamer inspired by Rome☆12Updated 5 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…☆10Updated 10 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- Community notice board for the Turing Institute☆11Updated 5 years ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 8 months 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 11 years ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- ☆68Updated 7 years ago
- Costituzione della Repubblica Italiana☆225Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- an input-sensitive profiler☆17Updated 5 years ago
- A tool for estimating a system's information leakage via Machine Learning☆10Updated last year
- Introduction to Agent Based Modeling☆25Updated 5 years ago
- 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 3 years ago
- ☆27Updated 4 years ago
- Repository of data related to spread of COVID-19 in Italy.☆20Updated 5 years ago
- A simple program to update on the results of the current ASN☆47Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Synthesizer of LTLf formula☆9Updated 4 months ago
- The ROme OpTimistic Simulator: a fast distributed multithreaded Parallel Discrete Event Simulator☆23Updated 3 years ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Updated 6 years ago
- Applying machine learning techniques with R to Census Income data set, a.k.a Adult data set.☆8Updated 8 years ago
- A clean, simple and extensible template for presentations. Supports XeTeX and Beamer.☆213Updated 5 years ago
- A short introduction to causal inference☆28Updated 6 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- A statistics software package powered by R☆39Updated this week
- ☆206Updated this week
- Statistical comparison of multiple algorithms☆42Updated last year
- Classical, elegant, and automated thesis template☆41Updated 11 years ago
- Easy differential privacy in R☆68Updated 2 years ago