Nissim Chekroun's repositories
Ecosystem-Game
An island management game based upon the Madingley Ecosystem Model, in which preserving a stable ecosystem is key.
agda-soas
Agda formalisation of second-order abstract syntax
Language:AgdaMIT000
Language:Java000
Language:Rust000
game-of-life
Conway's Game of Life implemented in Rust and integrated in a NextJS frontend
Language:Rust000
Language:Rust000
Language:Java000
Language:Java000
Language:Rust000
Language:Rust000
ockam
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.
Apache-2.0000