Repository Index

Universal markup converter

• pandoc
• haskell
• markdown
• markup

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

• chat
• protocol
• e2ee
• privacy

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

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 open-source, Haskell-built video editor for GIF makers.

• gtk
• animated-gifs
• haskell
• gui

Interactively browse dependency graphs of Nix derivations.

• nix
• dependency-graph
• hacktoberfest

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

Generator of runtime monitors for flight and robotics applications.

• assurance
• autonomy
• cfs
• embedded-systems

Explain why two Nix derivations differ

Compositional pipelines

Functional Reactive Programming domain-specific language for efficient hybrid systems

• haskell
• frp
• yampa
• game

Haskell GraphQL Api, Client and Tools

• haskell
• graphql
• web
• graphql-api

Generate Nix build instructions from a Cabal file

• cabal
• nix
• hackage
• haskell

Packages for defining APIs, running them, generating client code and documentation.

Generalized bananas, lenses and barbed wire

A Haskell implementation of the Tor protocol.

Haskell GraphQL implementation

Convert Elm project into Nix expressions

• elm
• elm-lang
• nix
• haskell

🔍 A step-by-step guide to parsing using Haskell parser combinators.

• haskell
• parser
• parser-combinators
• parsing

Automates certain common tasks that you do during programming competitions

• programming-competitions
• codeforces
• codechef
• command-line-tool

Experimental Malfunction backend for Idris