Andrew Jeffery (@jeffa5)
github

jeffa5

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    111
  • Global Rank 192,845 (Top 7 %)
  • Followers 36
  • Following 29
  • Registered over 9 years ago
  • Most used languages
    Rust
         35.3 %
    Nix
         29.4 %
    OCaml
         17.6 %
    HTML
         5.9 %
    C
         5.9 %
    Jupyter Notebook
         5.9 %

Top repositories

1

ocaml-grpc

GRPC implementation in OCaml
OCaml
25
star
2

typstfmt

A formatter for typst
Nix
16
star
3

mirage-xmpp

Implementation of XMPP for MirageOS
OCaml
15
star
4

automerge-persistent

A persistent wrapper for Automerge documents
Rust
12
star
5

automergeable

Rust
10
star
6

automerge-model-checker

Model checking Automerge and applications
Rust
10
star
7

waytext

Display text on all wayland displays
C
6
star
8

bwfs

Bitwarden FUSE filesystem
Nix
3
star
9

mergeable-etcd

Research into a more edge-suitable etcd
Jupyter Notebook
3
star
10

themelios

Rust
2
star
11

jeffa5.github.io

My personal webpage
HTML
2
star
12

typst-acm

ACM templates for typst
Nix
2
star
13

maills

A language server to help you write emails
Nix
1
star
14

mirage-raft

A raft implementation for mirage
OCaml
1
star
15

typst-todo

Todos for typst documents
Nix
1
star
16

block-breaker

A block breaker library written in Rust
Rust
1
star
17

k8s-crds

Rust
1
star
18

irmin-test

1
star