Repository Index

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Agda is a dependently typed programming language / interactive theorem prover.

• dependent-types
• programming-language
• proof-assistant
• agda

Research language for array processing in the Haskell/ML family

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

• streaming
• database
• iot
• stream-processing

Convert Elm project into Nix expressions

• elm
• elm-lang
• nix
• haskell

Haskell distributed stream processing with exactly-once semantics