georgeee

aeson-schema

Haskell JSON schema validator and parser generator

capnp-ocaml

OCaml code generator plugin for the Cap'n Proto serialization framework

caps

Monadic capabilities with late binding

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

cardano-sl-article

https://issues.serokell.io/issue/CSLD-115

cryptonite-openssl

openssl crypto binding extending cryptonite with new crypto capabilities

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

georgeee.github.io

Georgeee's website

go-multistream

an implementation of the multistream protocol in go

haskell-itmo-2019-hw3

Haskell itmo course 2019: HW3 examples

hjsonpointer

(Deprecated) JSON Pointer library for Haskell

hjsonschema

JSON Schema Draft 4 library (DEPRECATED)

itmo-11sem-infotheory

itmo-7sem-networks

ITMO, 7sem. Networks

itmo-master-thesis

Master thesis (Model for POS cryptocurrency)

mina-internal-trace-consumer

Internal trace consumer and GraphQL server for Mina node

mtsar

Mechanical Tsar.

nix-configuration

My nix configuration files

nixpkgs

Nix Packages collection

opam-nix

Turn opam-based OCaml projects into Nix derivations

prometheus

OCaml library for reporting metrics to a Prometheus server

PushProx

Proxy to allow Prometheus to scrape through NAT etc.

RMiniZinc

R Interface for MiniZinc

scdsl

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

SimpleNativeHooks

Java keyboard and mouse event listener library.

snarg-experiments

No idea what will I put into this repo :)

star-dict-parser

A Java library for parsing the StarDict dictionary files

unsafe-zk-playground

Playground for zk schemes implemented in 64-bit field arithmetics

yarn-pwn-alignment

YARN and PWN alignment tool (my bachelor thesis)

zexe

Rust library for decentralized private computation