Popular repositories Loading

1. PRGH17 PRGH17 Public

   Programming in Haskell Materials - Footnotes and Tutorials

   JavaScript 25 3

2. lregex lregex Public

   Verified and Efficient Matching of Regular Expressions with Lookaround

   Coq 24

3. ChainReactionAI ChainReactionAI Public

   Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction

   Python 22 9

4. APRG18 APRG18 Public

   Advanced Programming - Footnotes and Tutorials

   Python 21 4

5. IOITC16 IOITC16 Public

   Problems from IOITC'16 (India)

   C++ 10

6. lattice-mtl lattice-mtl Public

   A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics

   C++ 8