8000 CyberCat-Institute · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@CyberCat-Institute

CyberCat-Institute

Popular repositories Loading

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

    Haskell implementation of open games

    Haskell 168 29

  2. Aptwe Aptwe Public

    A well typed by construction kernel language for bidirectional programming

    Idris 14

  3. cybercat-core cybercat-core Public

    Haskell 5 1

  4. contracts-algebra contracts-algebra Public

    Analysis of clause contracts using open games engine

    Haskell 4 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

Repositories

Showing 10 of 11 repositories
View all repositories

Most used topics

Loading…
0