Lists (22)
🧊 3D Printing and CAD
Software and hardware for 3D printing and CAD19 repositories
🎧 Audio/Video Applications
Interesting audio/video/MIDI-processing applications.90 repositories
🔉 Audio/Video Libraries
Audio/video/MIDI-processing libraries.62 repositories
💻 Command Line Tools
CLI tools and utilities.34 repositories
⚙️ Compilers
Compilers, interpreters, runtimes, debuggers, language servers and other programming language-specific tools88 repositories
🪩 Computer Graphics
Interesting computer graphics projects, e.g. 3D renderers.49 repositories
🐳 Containers, VMs and Emulation
Anything Docker/K8s or virtualization/emulation-related38 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 yourself3 repositories
🎓 Education
Educational tools1 repository
🔋 Embedded, Hardware and RE
Embedded software, firmware, hardware-related projects, PCBs, reverse-engineering etc.25 repositories
🍬 Fun Stuff
Cool tech demos and some humorous stuff10 repositories
🎲 Games
Open-source games or game-related engines, servers, libraries (e.g. for chess)54 repositories
🪟 GUI, Windowing and Desktop
UI Frameworks, Window Managers, Desktop Environments etc.56 repositories
💡 Machine Learning
ML/Data Science-related libraries and applications.97 repositories
🧮 Mathematics
Math-related applications and libraries, e.g. numerics, visualization, computer algebra, etc.21 repositories
📦 Package Managers
Package managers, build tools, etc.24 repositories
🖌️ Image Editing
Bitmap and vector editing, painting, etc.5 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.22 repositories
Stars
3
results
for source starred repositories
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.