Pinned Repositories
rchain
Rho
Generalized Abstract Data Type for Rho-Calculus
enriched-lawvere-theories-as-operational-semantics
enriched lawvere theories represent operational semantics (baez, williams)
JosephDenman's Repositories
JosephDenman/LightZero
[NeurIPS 2023 Spotlight] LightZero: A Unified Benchmark for Monte Carlo Tree Search in General Sequential Decision Scenarios
JosephDenman/muzero-general
MuZero
JosephDenman/ethers.js
Complete Ethereum library and wallet implementation in JavaScript.
JosephDenman/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
JosephDenman/sora2-types
JosephDenman/rchain
JosephDenman/qiskit-aqua
Quantum Algorithms & Applications in Python
JosephDenman/Presentations
Slide sets for the presentations I've given.
JosephDenman/Rho
Generalized Abstract Data Type for Rho-Calculus
JosephDenman/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
JosephDenman/enriched-lawvere-theories-as-operational-semantics
enriched lawvere theories represent operational semantics (baez, williams)