Popular repositories Loading

1. turing turing Public

   An Agda formalization of the halting problem for Turing machines

   Agda 6

2. ww-fusion ww-fusion Public

   Forked from takano-akio/ww-fusion

   extension to fold/build fusion

   Haskell 5 1

3. 256-jungle 256-jungle Public

   Forked from vim-scripts/256-jungle

   Dark-orange colorscheme for 256 color terminals (like xterm).

   Vim Script 1 1

4. unison unison Public

   Forked from unisonweb/unison

   A friendly programming language from the future

   Haskell 1

5. toee-mod toee-mod Public

   Playing around with Temple of Elemental Evil and Temple+ mods

   Python 1

6. toee-core toee-core Public

   WIP 'mod' for testing out new ToEE content that comes from core sources

   Python 1