jeffa5/jeffa5.github.io jeffa5/jeffa5.github.io

  • Stars
    star
    2
  • Language
    HTML
  • Created over 6 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jeffa5/jeffa5.github.io
github

jeffa5

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My personal webpage

More 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

typst-acm

ACM templates for typst
Nix
2
star
12

maills

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

mirage-raft

A raft implementation for mirage
OCaml
1
star
14

typst-todo

Todos for typst documents
Nix
1
star
15

block-breaker

A block breaker library written in Rust
Rust
1
star
16

k8s-crds

Rust
1
star
17

irmin-test

1
star