Lists (22)
🧊 3D Printing and CAD
Software and hardware for 3D printing and CAD🎧 Audio/Video Applications
Interesting audio/video/MIDI-processing applications.🔉 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.💡 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
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A shell script which checks your $HOME for unwanted files and directories.
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
💥💻💥 A data-parallel functional programming language
The engine for haskell ide-integration. Not an IDE
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)