Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
47,133 repositories indexed
1–24 of 60 · Most stars
REST API for any Postgres database
- haskell
- database
- rest
- postgresql
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Haskell to JavaScript compiler, based on GHC
:ramen: A tasty Haskell web and mobile framework
- ghcjs
- haskell
- virtual-dom
- miso
A wiki using HAppS, pandoc, and git
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
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
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 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
Cryptol: The Language of Cryptography
Huge list of videos, talks, courses for Haskell programming language.
- haskell
- videos
- awesome
Interactively browse dependency graphs of Nix derivations.
- nix
- dependency-graph
- hacktoberfest
Espial is an open-source, web-based bookmarking server.
- haskell
- bookmark
- bookmarking-server
- database
A streaming data library
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.
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems