Universal markup converter
- pandoc
- haskell
- markdown
- markup
76,855 visible repositories in the index
1–24 of 30 · Most stars
Universal markup converter
ShellCheck, a static analysis tool for shell scripts
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
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 Haskell Tool Stack
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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Agda is a dependently typed programming language / interactive theorem prover.
Official Haskell IDE support via the language server protocol (LSP)
A static website compiler library in Haskell
:boom::computer::boom: A data-parallel functional programming language
Terminal-based presentations using Pandoc
The Eta Programming Language, a dialect of Haskell on the JVM
:ramen: A tasty Haskell web and mobile framework
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
Huge list of videos, talks, courses for Haskell programming language.
Espial is an open-source, web-based bookmarking server.
A streaming data library
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.