CyberCat-Institute

Popular repositories Loading

1. open-game-engine open-game-engine Public

   Haskell implementation of open games

   Haskell 194 31

2. Aptwe Aptwe Public

   A well typed by construction kernel language for bidirectional programming

   Idris 14

3. contracts-algebra contracts-algebra Public

   Analysis of clause contracts using open games engine

   Haskell 5 1

4. cybercat-core cybercat-core Public

   Haskell 5 1

5. CyberCat-Institute.github.io CyberCat-Institute.github.io Public

   Ruby 3

6. Q-lenses Q-lenses Public

   Reinforcement learning with Haskell lenses

   Haskell 3