Lists (22)
🧊 3D Printing and CAD
Software and hardware for 3D printing and CAD🔉 Audio/Video Libraries
Audio/video/MIDI-processing libraries.💻 Command Line Tools
CLI tools and utilities.⚙️ Compilers
Compilers, interpreters, runtimes, debuggers, language servers and other programming language-specific tools🪩 Computer Graphics
Interesting computer graphics projects, e.g. 3D renderers.🐳 Containers, VMs and Emulation
Anything Docker/K8s or virtualization/emulation-related✏️ Developer Tools
Applications for software development/programming, e.g. editors.🌎 Distributed Systems
Anything related to distributed systems, including applications, libraries, etc.🪚 DIY Projects
Cool stuff to build yourself🎓 Education
Educational tools🔋 Embedded, Hardware and RE
Embedded software, firmware, hardware-related projects, PCBs, reverse-engineering etc.🍬 Fun Stuff
Cool tech demos and some humorous stuff🎲 Games
Open-source games or game-related engines, servers, libraries (e.g. for chess)🪟 GUI, Windowing and Desktop
UI Frameworks, Window Managers, Desktop Environments etc.🏛️ Historical Stuff
Historically interesting things💡 Machine Learning
ML/Data Science-related libraries and applications.🧮 Mathematics
Math-related applications and libraries, e.g. numerics, visualization, computer algebra, etc.📦 Package Managers
Package managers, build tools, etc.🖌️ Image Editing
Bitmap and vector editing, painting, etc.🌎 Web, E-Mail & Calendar
Web browsers, web servers, HTML/CSS/JS engines, e-mail clients, e-mail servers etc.🖼️ Web Frameworks
Frameworks and libraries for creating dynamic websites.📎 Writing Tools
Text processing, notetaking, LaTeX packages, document converters, desktop publishing and more.Stars
A compiler and run-time system to compile and run Curry programs as Go programs
An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
Implementation of Masala, the web-based repository of Curry packages
A tool to verify Curry operations as non-failing
Implementation of a recipe database with a web-based interface implemented in Curry
A Curry implementation of a personal wine database together with a web-based interface.
Base operations to support reading and writing data in a compact (string) representation
A tool to manage analysis and verification information about Curry packages
A tool to query analysis information about entities (e.g., function, types) defined in some Curry package
Framework to support transformations on FlatCurry programs
Libraries with operations to strongly encapsulate non-deterministic computations
The module database of the department of computer science of Kiel University
Generic intermediate format for compiling Curry to imperative languages
Library with mappings of FlatCurry names to SMT names
A search engine for entities in Curry packages