Skip to content
@CyberCat-Institute

CyberCat-Institute

Popular repositories Loading

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

    Haskell implementation of open games

    Haskell 148 28

  2. Aptwe Aptwe Public

    A well typed by construction kernel language for bidirectional programming

    Idris 8

  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. Q-lenses Q-lenses Public

    Reinforcement learning with Haskell lenses

    Haskell 3

  6. CyberCat-Institute.github.io CyberCat-Institute.github.io Public

    Ruby 2

Repositories

Showing 9 of 9 repositories
  • open-game-engine Public

    Haskell implementation of open games

    CyberCat-Institute/open-game-engine’s past year of commit activity
    Haskell 148 MIT 28 5 4 Updated Dec 11, 2024
  • Aptwe Public

    A well typed by construction kernel language for bidirectional programming

    CyberCat-Institute/Aptwe’s past year of commit activity
    Idris 8 MIT 0 0 0 Updated Dec 1, 2024
  • Q-lenses Public

    Reinforcement learning with Haskell lenses

    CyberCat-Institute/Q-lenses’s past year of commit activity
    Haskell 3 MIT 0 0 0 Updated Nov 15, 2024
  • CyberCat-Institute.github.io Public
    CyberCat-Institute/CyberCat-Institute.github.io’s past year of commit activity
    Ruby 2 MIT 0 0 0 Updated Oct 28, 2024
  • workshop2024 Public
    CyberCat-Institute/workshop2024’s past year of commit activity
    Haskell 0 0 0 0 Updated Oct 3, 2024
  • contracts-algebra Public

    Analysis of clause contracts using open games engine

    CyberCat-Institute/contracts-algebra’s past year of commit activity
    Haskell 4 1 0 0 Updated Jun 20, 2024
  • cybercat-core Public
    CyberCat-Institute/cybercat-core’s past year of commit activity
    Haskell 5 AGPL-3.0 1 0 0 Updated Jan 19, 2024
  • open-games-RLib Public
    CyberCat-Institute/open-games-RLib’s past year of commit activity
    Python 0 AGPL-3.0 0 0 0 Updated Nov 8, 2023
  • open-games-hs Public
    CyberCat-Institute/open-games-hs’s past year of commit activity
    Haskell 2 AGPL-3.0 0 0 0 Updated Sep 27, 2023

Top languages

Loading…

Most used topics

Loading…