Lists (22)
🧊 3D Printing and CAD
Software and hardware for 3D printing and CAD29 repositories
🔉 Audio/Video Libraries
Audio/video/MIDI-processing libraries.64 repositories
💻 Command Line Tools
CLI tools and utilities.37 repositories
⚙️ Compilers
Compilers, interpreters, runtimes, debuggers, language servers and other programming language-specific tools89 repositories
🪩 Computer Graphics
Interesting computer graphics projects, e.g. 3D renderers.49 repositories
🐳 Containers, VMs and Emulation
Anything Docker/K8s or virtualization/emulation-related40 repositories
✏️ Developer Tools
Applications for software development/programming, e.g. editors.18 repositories
🌎 Distributed Systems
Anything related to distributed systems, including applications, libraries, etc.10 repositories
🪚 DIY Projects
Cool stuff to build yourself7 repositories
🎓 Education
Educational tools1 repository
🔋 Embedded, Hardware and RE
Embedded software, firmware, hardware-related projects, PCBs, reverse-engineering etc.27 repositories
🍬 Fun Stuff
Cool tech demos and some humorous stuff16 repositories
🎲 Games
Open-source games or game-related engines, servers, libraries (e.g. for chess)44 repositories
🪟 GUI, Windowing and Desktop
UI Frameworks, Window Managers, Desktop Environments etc.58 repositories
🏛️ Historical Stuff
Historically interesting things7 repositories
💡 Machine Learning
ML/Data Science-related libraries and applications.104 repositories
🧮 Mathematics
Math-related applications and libraries, e.g. numerics, visualization, computer algebra, etc.21 repositories
📦 Package Managers
Package managers, build tools, etc.25 repositories
🖌️ Image Editing
Bitmap and vector editing, painting, etc.6 repositories
🌎 Web, E-Mail & Calendar
Web browsers, web servers, HTML/CSS/JS engines, e-mail clients, e-mail servers etc.15 repositories
🖼️ Web Frameworks
Frameworks and libraries for creating dynamic websites.36 repositories
📎 Writing Tools
Text processing, notetaking, LaTeX packages, document converters, desktop publishing and more.23 repositories
Stars
4
stars
written in Agda
Clear filter
Modular reasoning about (elaborations of) higher-order effects