CyberCat-Institute

Pinned Repositories

Aptwe
A well typed by construction kernel language for bidirectional programming
Language:Idris80
contracts-algebra
Analysis of clause contracts using open games engine
Language:Haskell4 2 01
cybercat-core
Language:Haskell5 1 01
CyberCat-Institute.github.io
Language:Ruby2 3 00
open-game-engine
Haskell implementation of open games
Language:Haskell152 12 628
open-games-hs
Language:Haskell2 2 00
open-games-RLib
Language:Python0 2 00
Q-lenses
Reinforcement learning with Haskell lenses
Language:Haskell30
workshop2024
Language:Haskell00

CyberCat-Institute's Repositories

CyberCat-Institute/open-game-engine
Haskell implementation of open games
Language:Haskell152 12 628
CyberCat-Institute/Aptwe
A well typed by construction kernel language for bidirectional programming
Language:Idris80
CyberCat-Institute/cybercat-core
Language:Haskell5 1 01
CyberCat-Institute/contracts-algebra
Analysis of clause contracts using open games engine
Language:Haskell4 2 01
CyberCat-Institute/Q-lenses
Reinforcement learning with Haskell lenses
Language:Haskell30
CyberCat-Institute/CyberCat-Institute.github.io
Language:Ruby2 3 00
CyberCat-Institute/open-games-hs
Language:Haskell2 2 00
CyberCat-Institute/open-games-RLib
Language:Python0 2 00
CyberCat-Institute/workshop2024
Language:Haskell00