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