Popular repositories Loading

1. ELK-Filebeat-docker-setup ELK-Filebeat-docker-setup Public

   Docker setup for ELK and filebeat

   Shell 1

2. ProofTraPar ProofTraPar Public

   A tool to prove concurrent programs safe by partitioning the set of traces in a small number of equivalence classes

   C++

3. Byom Byom Public

   A tool to prove concurrent programs safe under relaxed memory models. Termination is guaranteed for Finite staet programs and for those infinite state programs which correspond to well structured t…

   C++

4. Ashoka Ashoka Public

5. lokdhaba_shiny lokdhaba_shiny Public

   Shiny port of lokdhaba

   JavaScript

6. parentbuddy parentbuddy Public

   OpenEd hackathon project

   HTML