Pinned Repositories
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
99-problems-in-cpp
catala
Programming language for literate programming law specification
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.
csp
csp is a high performance reactive stream processing library, written in C++ and Python
diffcessible
dotfiles
felix
lagrangian-multiplier-calculator
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
yokurang's Repositories
yokurang/dotfiles
yokurang/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
yokurang/99-problems-in-cpp
yokurang/catala
Programming language for literate programming law specification
yokurang/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.
yokurang/csp
csp is a high performance reactive stream processing library, written in C++ and Python
yokurang/diffcessible
yokurang/felix
yokurang/lagrangian-multiplier-calculator
yokurang/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
yokurang/montblanc
yokurang/ocaml-chat
yokurang/passphrase-generator
yokurang/quant-strategy-research
yokurang/resume
yokurang/yokurang
yokurang/yokurang.com
yokurang/market-making-notes
yokurang/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
yokurang/tdigest