Alternatives and similar repositories for align_covid:

Users that are interested in align_covid are comparing it to the libraries listed below

• manuelcoppotelli / beamer-roma-theme
  A spiffy theme for LaTex Beamer inspired by Rome
  ☆12Updated 5 years ago
• fkomauli / riforma-costituzionale
  Costituzione della Repubblica Italiana
  ☆225Updated 2 years ago
• tyler-utah / PBDD
  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
• jacquerie / senato.py
  A scraper for the data made available by the Italian Senate, and a cluster analysis to detect similar amendments.
  ☆121Updated 2 years ago
• marcofavorito / master-thesis
  My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
  ☆10Updated 6 years ago
• ercoppa / aprof
  an input-sensitive profiler
  ☆17Updated 5 years ago
• taskforce-covid-19 / documenti
  Repository del gruppo di lavoro data-driven per l’emergenza covid-19
  ☆122Updated 4 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 5 months ago
• DangerBlack / advanced-ppu
  Un software per gestire la Progressione Personale Unitaria dei ragazzi in un gruppo Scout Agesci
  ☆10Updated 7 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆17Updated this week
• opyenxes / OpyenXes
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆20Updated 4 months ago
• vardigroup / lisa
  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
• tyler-utah / PBL
  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
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 5 months ago
• uiuc-arc / probfuzz
  ProbFuzz: A Framework for Testing Probabilistic Programming Systems
  ☆8Updated 6 years ago
• Cinofix / Afternotes
  Afternotes for the attended courses at Ca' Foscari University, master in Data Management and Analytics.
  ☆39Updated 4 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last week
• picorana / sparqling
  Visual tool for SPARQL queries on graphol graphs
  ☆10Updated 6 years ago
• gmazzamuto / europasscv
  Unofficial LaTeX class for the new version of the Europass curriculum vitae
  ☆118Updated last year
• italia / awesome-italian-public-datasets
  A selection of interesting Open dataset from the Italian Public Administration and Civic Data use cases
  ☆293Updated last year
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 7 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• marcofavorito / python-project-template
  Yet another Python project template.
  ☆13Updated 7 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 2 months ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• ondata / covid19italia
  ☆206Updated last month
• italia / dati.gov.it
  dati.gov.it: il sito degli opendata italiani
  ☆53Updated 6 years ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆30Updated 4 months ago