Samuel Pastva's starred repositories
awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
ArchiveBox
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
linearmouse
The mouse and trackpad utility for Mac.
OSX-PROXMOX
Voilà, install macOS on ANY Computer! This is really and magic easiest way!
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
CellOracle
This is the alpha version of the CellOracle package
smart-leds
The end user crate for smart leds (like ws2812)
graphviz-rust
The library provides basic functions to work with Graphviz dot lang from rust code.
ws2812-spi-rs
Use ws2812 on rust with embedded-hal spi
colomoto-docker
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
bdd-benchmark
Benchmarking Suite for BDD packages
vite-plugin-posthtml
⚡️💡 Vite plugin for PostHTML, transforms PostHTML syntax into HTML
cytoscape-tidytree
A Cytoscape.js layout extension for trees
ipad_touchscreen_driver_gt9113
A PCB designed to interface with the iPad (A1219) touchscreen
BNN_verification
Verification of binarised neural networks using ASP