Popular repositories Loading

1. words words Public

   Haskell code of random explorations

   Haskell

2. spaceship-operating-system spaceship-operating-system Public

   The intelligent operating system of future spaceships

3. grid-management-system grid-management-system Public

   A generic grid management module.

4. Turkish-language-agent Turkish-language-agent Public

   An agent that can communicate in Turkish

5. abstract-algebra abstract-algebra Public

   A library for enabling application of abstract algebra structures to concrete computational problems

6. idris-diaries idris-diaries Public

   Idris