Popular repositories Loading

1. chu_shogi_server chu_shogi_server Public

   Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules

   Idris 4

2. idris-libmicrohttpd idris-libmicrohttpd Public

   A binding of the GNU libmicrohttpd library to the Idris C backend

   Idris 4 3

3. chu-shogi-tools chu-shogi-tools Public

   Tools for rendering Chu Shogi diagrams (and other Shogi variants), and other useful programs

   TeX 3

4. idris-libwebsockets idris-libwebsockets Public

   An Idris wrapper around libwebsockets

   Idris 3 2

5. dragonfly-website dragonfly-website Public

   Website software written in Haskell for displaying photos of dragonflies and associated articles

   Haskell 1

6. EWF EWF Public

   Forked from EiffelWebFramework/EWF

   Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)

   Eiffel 1