Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cakeml
CakeML: A Verified Implementation of ML
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
modular_decomposition
Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition
parallel_fast_fourier
Platal-Game
Probabilistic-Encryption
remyjck.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
trollsAndCastles
Trolls & Castles: A 1-dimension game to get started with AI
Remyjck's Repositories
Remyjck/cakeml
CakeML: A Verified Implementation of ML
Remyjck/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Remyjck/modular_decomposition
Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition
Remyjck/parallel_fast_fourier
Remyjck/Platal-Game
Remyjck/Probabilistic-Encryption
Remyjck/remyjck.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Remyjck/trollsAndCastles
Trolls & Castles: A 1-dimension game to get started with AI