Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jeffa5
A curated list of projects in awesome lists by jeffa5 .
https://github.com/jeffa5/automerge-persistent
A persistent wrapper for Automerge documents
Last synced: 28 Oct 2024
https://github.com/jeffa5/automerge-model-checker
Model checking Automerge and applications
Last synced: 28 Oct 2024
https://github.com/jeffa5/maills
A language server to help you write emails
Last synced: 28 Oct 2024
https://github.com/jeffa5/mergeable-etcd
Research into a more edge-suitable etcd
Last synced: 28 Oct 2024
https://github.com/jeffa5/block-breaker
A block breaker library written in Rust
Last synced: 28 Oct 2024
https://github.com/jeffa5/arxiv-pdf-meta
Analysing metadata in PDFs from arXiv
Last synced: 28 Oct 2024
https://github.com/jeffa5/typst-cambridge
Typst templates for the University of Cambridge
Last synced: 28 Oct 2024
https://github.com/jeffa5/friendlypool
A threadpool that is friendly to its neighbours
Last synced: 28 Oct 2024
https://github.com/jeffa5/wordnet-ls
Explore language as you write, where you write
Last synced: 28 Oct 2024
https://github.com/jeffa5/block-breaker-tui
A tui frontend for the block-breaker lib
Last synced: 28 Oct 2024
https://github.com/jeffa5/btreelist
A list with efficient insert and remove in the middle
Last synced: 28 Oct 2024
https://github.com/jeffa5/tasknet
A taskwarrior inspired, crdt-based task management tool
Last synced: 28 Oct 2024
https://github.com/jeffa5/rpi-headless
Setup scripts for a headless raspberry pi
Last synced: 28 Oct 2024
https://github.com/jeffa5/on-off-timer
A timer that counts down the time you spent
Last synced: 28 Oct 2024
https://github.com/jeffa5/stateright-increment
Example model checking using stateright
Last synced: 28 Oct 2024
https://github.com/jeffa5/automerge-graphviz
A graphviz viewer for automerge change hash graphs
Last synced: 28 Oct 2024
https://github.com/jeffa5/makeplots
Testing out different ways of working with plotting
Last synced: 28 Oct 2024