Skip to content
View jeffa5's full-sized avatar
37 followers · 29 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report jeffa5

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • nix-home Public

    Nix GNU General Public License v3.0 Updated Oct 1, 2024

  • typst-cambridge Public

    Typst templates for the University of Cambridge

    Typst MIT License Updated Aug 6, 2024

  • themelios Public

    Rust 3 Updated Jul 17, 2024

  • mergeable-etcd Public

    Research into a more edge-suitable etcd

    Jupyter Notebook 3 Updated Jul 11, 2024

  • wordnet-ls Public

    Explore language as you write, where you write

    Rust MIT License Updated Jul 4, 2024

  • typstfmt Public

    A formatter for typst

    rust formatter typst
    Nix 19 2 MIT License Updated Jun 12, 2024

  • papers Public

    Paper management cli

    Nix MIT License Updated Apr 16, 2024

  • bwfs Public

    Bitwarden FUSE filesystem

    Nix 4 MIT License Updated Mar 18, 2024

  • stateright Public

    Forked from stateright/stateright

    A model checker for implementing distributed systems.

    Rust MIT License Updated Mar 7, 2024

  • loadbench Public

    Rust MIT License Updated Mar 4, 2024

  • friendlypool Public

    A threadpool that is friendly to its neighbours

    Rust MIT License Updated Mar 1, 2024

  • bitwarden-clients Public

    Forked from bitwarden/clients

    Bitwarden client applications (web, browser extension, desktop, and cli)

    TypeScript Other Updated Feb 26, 2024

  • makeplots Public

    Testing out different ways of working with plotting

    Python MIT License Updated Jan 18, 2024

  • tokio Public

    Forked from tokio-rs/tokio

    A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

    Rust MIT License Updated Dec 21, 2023

  • advent-of-code Public

    Julia MIT License Updated Dec 12, 2023

  • arxiv-pdf-meta Public

    Analysing metadata in PDFs from arXiv

    Julia Updated Dec 1, 2023

  • kubernetes Public

    Forked from kubernetes/kubernetes

    Production-Grade Container Scheduling and Management

    Go Apache License 2.0 Updated Nov 14, 2023

  • btreelist Public

    A list with efficient insert and remove in the middle

    rust data-structures
    Rust Updated Oct 22, 2023

  • owork Public

    A productivity timer in OCaml

    OCaml GNU General Public License v3.0 Updated Oct 18, 2023

  • waytext Public

    Display text on all wayland displays

    C 6 1 MIT License Updated Oct 18, 2023

  • typst Public

    Forked from typst/typst

    A new markup-based typesetting system that is powerful and easy to learn.

    Rust Apache License 2.0 Updated Oct 17, 2023

  • tasknet Public

    A taskwarrior inspired, crdt-based task management tool

    Rust Updated Oct 2, 2023

  • speedtest-exporter Public

    Forked from MiguelNdeCarvalho/speedtest-exporter

    Speedtest Exporter made in python using the official speedtest bin

    Python GNU General Public License v3.0 Updated Sep 30, 2023

  • packages Public

    Forked from typst/packages

    Packages for Typst.

    Rust Apache License 2.0 Updated Sep 29, 2023

  • crate2nix Public

    Forked from nix-community/crate2nix

    nix build file generator for rust crates

    Nix Apache License 2.0 Updated Sep 29, 2023

  • avocado Public

    Forked from mbailleu/avocado
    C++ MIT License Updated Sep 27, 2023

  • CCF Public

    Forked from microsoft/CCF

    Confidential Consortium Framework

    C++ 1 Apache License 2.0 Updated Sep 25, 2023

  • as-typstfmt Public

    Forked from astrale-sharp/typstfmt
    Rust MIT License Updated Sep 21, 2023

  • k8s-crds Public

    Rust 1 1 Updated Aug 18, 2023

  • automerge Public

    Forked from automerge/automerge

    Rust implementation of automerge

    JavaScript MIT License Updated Jul 31, 2023