Jake Gillberg (@Jake-Gillberg)
github

Jake-Gillberg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 30
  • Following 17
  • Registered over 11 years ago
  • Most used languages
    Vim Script
         40.0 %
    Coq     20.0 %
    JavaScript
         20.0 %
    Scala
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 126,237
  • Country Ranking
    Coq     150
    Vim Script
         1,187
    Scala
         3,410

Top repositories

1

git-vote

Chrome extension for voting on github issues using an ERC20 token
JavaScript
6
star
2

dev-environment

A dockerized RChain development environment
Vim Script
6
star
3

Pi-Proofs

Sangiorgi Pi Calculus in Idris
Coq
2
star
4

kframework-env

k5 (kframework) installation with vim goodies
Vim Script
1
star
5

rspace-xstream

Default XStream serialization for RChain's RSpace
Scala
1
star