Popular repositories Loading

1. applicative-logic applicative-logic Public

   An applicative based library for logical control flow in Haskell

   Haskell 8

2. pandoc-theorem pandoc-theorem Public

   Forked from sliminality/pandoc-theorem

   Write LaTeX theorems in Pandoc Markdown

   Haskell

3. containers containers Public

   Agda

4. stm-ringbuffer stm-ringbuffer Public

   A fixed buffer-size channel, implemented as a ring buffer using Software Transactional Memory (STM)

   Haskell

5. hexspace hexspace Public

   A Haskell library for hex-based grids

   Haskell

6. unicode-latex unicode-latex Public

   A latex .sty file for more unicode characters for mathematics.

   TeX