Skip to content

@CyberCat-Institute CyberCat-Institute

Change the repository type filter

All

    Repositories list

    9 repositories

    • CyberCat-Institute.github.io

      Public
      Ruby
      •
      MIT License
      •0•2•0•0•Updated Jan 21, 2025Jan 21, 2025

    • open-game-engine

      Public
      Haskell implementation of open games
      Haskell
      •
      MIT License
      •28•153•5•4•Updated Jan 8, 2025Jan 8, 2025

    • Aptwe

      Public
      A well typed by construction kernel language for bidirectional programming
      Idris
      •
      MIT License
      •0•10•0•0•Updated Jan 2, 2025Jan 2, 2025

    • Q-lenses

      Public
      Reinforcement learning with Haskell lenses
      Haskell
      •
      MIT License
      •0•3•0•0•Updated Nov 15, 2024Nov 15, 2024

    • workshop2024

      Public
      Haskell
      •0•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • contracts-algebra

      Public
      Analysis of clause contracts using open games engine
      Haskell
      •1•4•0•0•Updated Jun 20, 2024Jun 20, 2024

    • cybercat-core

      Public
      Haskell
      •
      GNU Affero General Public License v3.0
      •1•5•0•0•Updated Jan 19, 2024Jan 19, 2024

    • open-games-RLib

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Nov 8, 2023Nov 8, 2023

    • open-games-hs

      Public
      Haskell
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Sep 27, 2023Sep 27, 2023