A statically typed lisp, without a GC, for real-time applications.
Repository Index
60,121 visible repositories in the index
1–21 of 21 · Most stars
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- hledger
- haskell
- ledger
- web-application
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
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
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
Explain why two Nix derivations differ
Haskell GraphQL Api, Client and Tools
- haskell
- graphql
- web
- graphql-api
Generate Nix build instructions from a Cabal file
- cabal
- nix
- hackage
- haskell
Generalized bananas, lenses and barbed wire
Convert Elm project into Nix expressions
- elm
- elm-lang
- nix
- haskell
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
- haskell
- joke
- hacking
- typing
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Tool that allows to write Erlang NIF libraries in Haskell
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3