jeffa5

Pinned Repositories

automerge-model-checker
Model checking Automerge and applications
Language:Rust112
automerge-persistent
A persistent wrapper for Automerge documents
Language:Rust124
automergeable
Language:Rust10 5 72
bwfs
Bitwarden FUSE filesystem
Language:Nix4 2 00
mergeable-etcd
Research into a more edge-suitable etcd
Language:Jupyter Notebook30
mirage-xmpp
Implementation of XMPP for MirageOS
Language:OCaml15 5 11
ocaml-grpc
GRPC implementation in OCaml
Language:OCaml254
themelios
Language:Rust30
typstfmt
A formatter for typst
Language:Nix18 3 32
waytext
Display text on all wayland displays
Language:C6 2 11

jeffa5's Repositories

jeffa5/typstfmt
A formatter for typst
Language:Nix18 3 32
jeffa5/waytext
Display text on all wayland displays
Language:C6 2 11
jeffa5/bwfs
Bitwarden FUSE filesystem
Language:Nix4 2 00
jeffa5/mergeable-etcd
Research into a more edge-suitable etcd
Language:Jupyter Notebook30
jeffa5/themelios
Language:Rust30
jeffa5/k8s-crds
Language:Rust11
jeffa5/advent-of-code
Language:Julia
jeffa5/arxiv-pdf-meta
Analysing metadata in PDFs from arXiv
Language:Julia
jeffa5/as-typstfmt
Language:Rust
jeffa5/automerge
Rust implementation of automerge
Language:JavaScript
jeffa5/avocado
Language:C++
jeffa5/bitwarden-clients
Bitwarden client applications (web, browser extension, desktop, and cli)
jeffa5/btreelist
A list with efficient insert and remove in the middle
Language:Rust
jeffa5/CCF
Confidential Consortium Framework
Language:C++1 01
jeffa5/crate2nix
nix build file generator for rust crates
Language:Nix
jeffa5/friendlypool
A threadpool that is friendly to its neighbours
Language:Rust
jeffa5/kubernetes
Production-Grade Container Scheduling and Management
Language:Go
jeffa5/loadbench
Language:Rust
jeffa5/makeplots
Testing out different ways of working with plotting
Language:Python
jeffa5/nix-home
Language:Nix2 0
jeffa5/owork
A productivity timer in OCaml
Language:OCaml4 13
jeffa5/packages
Packages for Typst.
jeffa5/papers
Paper management cli
Language:Nix
jeffa5/speedtest-exporter
Speedtest Exporter made in python using the official speedtest bin
Language:Python
jeffa5/stateright
A model checker for implementing distributed systems.
Language:Rust
jeffa5/tasknet
A taskwarrior inspired, crdt-based task management tool
Language:Rust
jeffa5/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Language:Rust1 0
jeffa5/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust1 0
jeffa5/typst-cambridge
Typst templates for the University of Cambridge
Language:Typst2 0
jeffa5/wordnet-ls
Explore language as you write, where you write
Language:Rust