George Agapov's repositories
opam-nix
Turn opam-based OCaml projects into Nix derivations
unsafe-zk-playground
Playground for zk schemes implemented in 64-bit field arithmetics
mina-internal-trace-consumer
Internal trace consumer and GraphQL server for Mina node
nix-configuration
My nix configuration files
georgeee.github.io
Georgeee's website
nixpkgs
Nix Packages collection
prometheus
OCaml library for reporting metrics to a Prometheus server
FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
capnp-ocaml
OCaml code generator plugin for the Cap'n Proto serialization framework
go-multistream
an implementation of the multistream protocol in go
zexe
Rust library for decentralized private computation
PushProx
Proxy to allow Prometheus to scrape through NAT etc.
RMiniZinc
R Interface for MiniZinc
caps
Monadic capabilities with late binding
cryptonite-openssl
openssl crypto binding extending cryptonite with new crypto capabilities
hjsonpointer
(Deprecated) JSON Pointer library for Haskell
hjsonschema
JSON Schema Draft 4 library (DEPRECATED)
aeson-schema
Haskell JSON schema validator and parser generator
SimpleNativeHooks
Java keyboard and mouse event listener library.
haskell-itmo-2019-hw3
Haskell itmo course 2019: HW3 examples
snarg-experiments
No idea what will I put into this repo :)
itmo-master-thesis
Master thesis (Model for POS cryptocurrency)
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
scdsl
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
cardano-sl-article
https://issues.serokell.io/issue/CSLD-115
itmo-7sem-networks
ITMO, 7sem. Networks
star-dict-parser
A Java library for parsing the StarDict dictionary files
yarn-pwn-alignment
YARN and PWN alignment tool (my bachelor thesis)
mtsar
Mechanical Tsar.