Yuuriosity
A functional programmer and a little of a bioinformatician. See bitbucket.org/yuuri for main repositories.
Nizhny Novgorod, Russia
Pinned Repositories
ask-dice
What to accomplish today? Ask Dice!
bruh
canopy-rust
Reimplementation of MGS canopy clustering algorithm in Rust.
eisner
Generic implementation of Eisner projective tree algorithm which is used for building syntax trees in NLP.
espp
An eDSL for building Elasticsearch requests in a convenient and type-safe way. Can be used both as a standalone tool and in chain with cpp-elasticsearch API.
generics-sop
Generic Programming using True Sums of Products
gmcheck
idrissonne
An implementation of the popular Carcassonne tabletop game in the powerful Idris language.
yurry.github.io
Yuuriosity's Repositories
Yuuriosity/eisner
Generic implementation of Eisner projective tree algorithm which is used for building syntax trees in NLP.
Yuuriosity/gmcheck
Yuuriosity/idrissonne
An implementation of the popular Carcassonne tabletop game in the powerful Idris language.
Yuuriosity/yurry.github.io
Yuuriosity/ask-dice
What to accomplish today? Ask Dice!
Yuuriosity/bruh
Yuuriosity/canopy-rust
Reimplementation of MGS canopy clustering algorithm in Rust.
Yuuriosity/espp
An eDSL for building Elasticsearch requests in a convenient and type-safe way. Can be used both as a standalone tool and in chain with cpp-elasticsearch API.
Yuuriosity/generics-sop
Generic Programming using True Sums of Products
Yuuriosity/klac
KL Agda course
Yuuriosity/mts-browser
Small REST service for browsing results of multiple MTS launches.
Yuuriosity/numconv
Конвертер систем счисления
Yuuriosity/ocaml-base58
Base58Check library, extracted from Tezos
Yuuriosity/ocaml-monocypher
Bindings to https://monocypher.org/
Yuuriosity/ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
Yuuriosity/ppx_protocol_conv
Pluggable serialization and deserialization of ocaml data strucures based on type_conv