Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
71,372 visible repositories in the index
1–24 of 34 · Most stars
ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
REST API for any Postgres database
- haskell
- database
- rest
- postgresql
An advanced keyboard manager
- cross-platform
- haskell
- keyboard
- keyboard-layout
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- hledger
- haskell
- ledger
- web-application
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
- xmonad
- haskell
- x11
- window-manager
Ethereum smart contract fuzzer
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
A multilingual package manager for Arch Linux and the AUR.
- arch-linux
- aura
- package-manager
- pacman
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
- nix
- haskell
- hacktoberfest
- nom
The official formatter for Nix code
😎 The open-source, Haskell-built video editor for GIF makers.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
- elm
- formatter
- code-style
Espial is an open-source, web-based bookmarking server.
- haskell
- bookmark
- bookmarking-server
- database
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
A comprehensive Amazon Web Services SDK for Haskell.
- haskell
- aws
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
:tv: A free and simple to use video player made with Haskell.
- haskell
- haskell-gi
- gstreamer
- gtk
A package manager for PureScript based on package sets
- purescript
- package-manager