Lists (1)
Starred repositories
dtraytel / cyp
Forked from noschinl/cypChecker for "morally correct" induction proofs about haskell programs
Cheatsheets for various subjects from the BSc in Computer Science at ETH Zurich
Python scripts, Automator Services and Quartz Filters for MacOS (OS X) that create, manipulate, and query PDF files
🔆 A Python module for controlling power and brightness of the official Raspberry Pi 7" touch display
👨💻 Python cleanup script for macOS
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, shar…
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
A Blender plug-in for importing LDraw file format Lego models and parts.
IOGraph — application that turns mouse movements into modern art.
The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies
Collection of various algorithms and data structures
Python Discord Bot with Lecture Updates and Quotes
Python library for Electronic Health Certificate
Get your Advent of Code data with a single import statement
Free monospaced font with programming ligatures
PAM plugin module that allows touch ID to be used for authentication
Auto-Editor: Efficient media analysis and rendering
📚 Freely available programming books
Discusses how to setup a docker environment on macOS 10.13: High Sierra (Lobo) and 10.14: Mojave
The Original Javascript Error Steamroller