Jack Gallagher (@GallagherCommaJack)
github

GallagherCommaJack

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    36
  • Global Rank 430,311 (Top 15 %)
  • Followers 31
  • Following 1
  • Registered about 11 years ago
  • Most used languages
    Rust
         33.3 %
    Python
         26.7 %
    Haskell
         13.3 %
    Coq     13.3 %
    Jupyter Notebook
         6.7 %
    Agda     6.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 81,112
  • Country Ranking
    Agda     44
    Coq     149
    Haskell
         721
    Rust
         4,761

Top repositories

1

Haskell-JSON-Patch

JSON Patch Implementation in Haskell
Haskell
10
star
2

vqvae

Jupyter Notebook
6
star
3

scheming-machine

Simple little scheme interpreter
Haskell
3
star
4

tt-provability

Systems for doing provability logic in type theory
Agda
3
star
5

crcdir

Checksums a directory using crc32
Rust
2
star
6

diffusion-utils

various useful layers for doing diffusion on image data
Python
2
star
7

markets

markets
Python
1
star
8

python-contexts

Python
1
star
9

dctorch

Python
1
star
10

sledis

Rust
1
star
11

linked-slab

A doubly-linked list backed by a slab
Rust
1
star
12

pushpop

A POP3 implementation in Rust
Rust
1
star
13

types-in-types

Coq
1
star
14

outrageous-interpreter

Automatically exported from code.google.com/p/outrageous-interpreter
Coq
1
star
15

contact

distributed contact tracing
Rust
1
star