Popular repositories Loading

1. cycleq cycleq Public

   Cyclic equational reasoning for Haskell

   Haskell 4

2. presburger presburger Public

   An automaton based satisfiability checker for Pressburger arithmetic made as a guide for the Theory of Computation unit at the University of Bristol

   Haskell 3 1

3. dynamics-of-dialects dynamics-of-dialects Public

   Simulating natural language evolution in complex networks.

   C

4. intensional-constraints intensional-constraints Public

   Set-constraint based program analysis in linear time!

   Haskell 1

5. homsl homsl Public

   Artifact corresponding to the higher-order MSL paper published at POPL23.

   HTML

6. ec-jones.github.io ec-jones.github.io Public

   A personal blog made with Hakyll.

   TeX