Popular repositories Loading

1. Verified and Efficient Matching of Regular Expressions with Lookaround

   Coq 27

2. Programming in Haskell Materials - Footnotes and Tutorials

   JavaScript 25 3

3. Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction

   Python 22 9

4. Advanced Programming - Footnotes and Tutorials

   Python 21 4

5. Problems from IOITC'16 (India)

   C++ 10

6. A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics

   C++ 8