Popular repositories Loading

1. synthesizing-set-functions synthesizing-set-functions Public

   Synthesizing Set Functions

   Shell 4

2. lhs2tex lhs2tex Public

   Forked from kosmikus/lhs2tex

   Preprocessor for typesetting Haskell sources with LaTeX

   Haskell

3. tree-monad tree-monad Public

   Forked from nbun/tree-monad

   Haskell library for monadic tree search.

   Haskell

4. kan-extensions kan-extensions Public

   Forked from ekmett/kan-extensions

   Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

   Haskell

5. Ziharrk.github.io Ziharrk.github.io Public

   Forked from Ziharrk/Ziharrk.github.io

   Personal web page

6. feh feh Public

   Forked from derf/feh

   a fast and light image viewer

   C