Yulia Gorshkova's repositories
idrissonne
An implementation of the popular Carcassonne tabletop game in the powerful Idris language.
ask-dice
What to accomplish today? Ask Dice!
Language:Haskell000
Language:HaskellBSD-3-Clause000
canopy-rust
Reimplementation of MGS canopy clustering algorithm in Rust.
Language:Rust000
Language:AgdaNOASSERTION000
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.
Language:C++000
generics-sop
Generic Programming using True Sums of Products
Language:HaskellBSD-3-Clause000
klac
KL Agda course
000
mts-browser
Small REST service for browsing results of multiple MTS launches.
Language:HaskellBSD-3-Clause000
numconv
Конвертер систем счисления
Language:HaskellBSD-3-Clause000
ocaml-base58
Base58Check library, extracted from Tezos
Language:OCaml000
ocaml-monocypher
Bindings to https://monocypher.org/
Language:CNOASSERTION000
ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
Language:OCaml000
ppx_protocol_conv
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
Language:OCamlBSD-3-Clause000