8000 Flopsey (Flo) / starred · GitHub

More Web Proxy on the site http://driver.im/

Stars

Browse starred repositories and topics

Starred Repositories

rupa / z

Star

z - jump around

Shell 16,685 1,179 Starred Mar 11, 2024
DS3Lab / DBCourseMaterial

Star

Shell 6 4 Starred Aug 18, 2023
dtraytel / cyp

Star

Checker for "morally correct" induction proofs about haskell programs

Haskell 9 10 Starred Mar 15, 2023
Flopsey / eth-cheatsheets

Star

TeX 1 5 Starred Jan 28, 2023
XYQuadrat / eth-cheatsheets

Star

Cheatsheets for various subjects from the BSc in Computer Science at ETH Zurich

TeX 20 5 Starred Jan 28, 2023
benwiggy / PDFsuite

Star

Python scripts, Automator Services and Quartz Filters for MacOS (OS X) that create, manipulate, and query PDF files

Python 174 20 Starred Dec 12, 2022
linusg / rpi-backlight

Star

🔆 A Python module for controlling power and brightness of the official Raspberry Pi 7" touch display

Python 283 34 Starred Dec 6, 2022
mac-cleanup / mac-cleanup-py

Star

👨‍💻 Python cleanup script for macOS

Python 1,985 77 Starred Sep 1, 2022
processing / p5.js-web-editor

Sponsor
Star

The p5.js Editor is a website for creating p5.js sketches, with a focus on making coding accessible and inclusive for artists, designers, educators, beginners, and anyone else! You can create, share, or remix p5.js sketches without needing to download or configure anything.

JavaScript 1,532 1,499 Starred Jun 16, 2022
Homebrew / homebrew-cask

Sponsor
Star

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Ruby 21,428 10,990 Starred Jun 8, 2022

See all starred repositories

Starred Topics

See all starred topics

0