Skip to content
@CyberCat-Institute

CyberCat-Institute

Popular repositories Loading

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

    Haskell implementation of open games

    Haskell 144 26

  2. cybercat-core cybercat-core Public

    Haskell 5 1

  3. contracts-algebra contracts-algebra Public

    Analysis of clause contracts using open games engine

    Haskell 4 1

  4. Aptwe Aptwe Public

    A well typed by construction kernel language for bidirectional programming

    Idris 4

  5. open-games-hs open-games-hs Public

    Haskell 2

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

    Ruby 1

Repositories

Showing 7 of 7 repositories
  • Aptwe Public

    A well typed by construction kernel language for bidirectional programming

    CyberCat-Institute/Aptwe’s past year of commit activity
    Idris 4 MIT 0 0 0 Updated Sep 13, 2024
  • CyberCat-Institute.github.io Public
    CyberCat-Institute/CyberCat-Institute.github.io’s past year of commit activity
    Ruby 1 MIT 0 0 0 Updated Sep 12, 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-game-engine Public

    Haskell implementation of open games

    CyberCat-Institute/open-game-engine’s past year of commit activity
    Haskell 144 MIT 26 5 4 Updated Dec 29, 2023
  • 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…