Christopher Goes (@cwgoes)
github

cwgoes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 253
  • Following 198
  • Registered almost 8 years ago
  • Most used languages
    Haskell
         60.0 %
    Python
         20.0 %
    Idris     20.0 %
  • Location πŸ‡¬πŸ‡· Greece
  • Country Total Rank 628
  • Country Ranking
    Haskell
         1
    Idris     2
    Python
         389

Top repositories

1

tm-proposer-idris

Formalization of Tendermint proposer election properties
Idris
15
star
2

scisco

A privacy-preserving, auditable, distributed voting system.
Haskell
13
star
3

snarky-workshop

Hackathon project for Snarky workshop.
Python
11
star
4

haskell-abci

Haskell Application BlockChain Interface (ABCI) Server Library
Haskell
8
star
5

formality-experiments

Experiments related to the Formality language.
Haskell
6
star
6

zk-notes

Zero-knowledge protocol construction notes & references.
1
star