georgeee

Computer science, functional programming, formal verification, finance, literature, philosophy, classical music

@MinaProtocolAndorra

Pinned Repositories

cg
Geometry Visualization Library
Language:C++10
FAT-Master
My university task, utilite to read FAT12, FAT16 and FAT32 volumes
Language:Java1 4 00
GFeedReader
Android feed reader (rss, atom) app
Language:Java1 3 10
haskell-google-apiIO
Haskell package for easy communication with Google APIs
Language:Haskell1 3 01
haskell-google-calendar-api
Google Calendar API v3. Haskell implementation
Language:Haskell12 4 11
Java_4sem
Homeworks
Language:Java11
Mathlogic2013
Mathlogic
Language:Java1 3 00
MobiMaker
Template-code for creating mobi files (e.g. to put it on your Kindle) from html pages.
Language:PHP3 3 00
yii-lily
User managment module for yii, based on yii-eauth (https://github.com/Nodge/yii-eauth)
Language:PHP70 16 519
yii-lily-sample
Language:PHP5 6 14

georgeee's Repositories

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