A statically typed lisp, without a GC, for real-time applications.
Repository Index
56,139 visible repositories in the index
1–11 of 11 · Most stars
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
Haskoin Core is a Bitcoin and Bitcoin Cash library
Generate Nix build instructions from a Cabal file
- cabal
- nix
- hackage
- haskell
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
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Initialise scaffolding for a new Elm project