Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
77,852 visible repositories in the index
1–24 of 38 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
A statically typed lisp, without a GC, for real-time applications.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- hledger
- haskell
- ledger
- web-application
Functional Programming Course
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
- xmonad
- haskell
- x11
- window-manager
:boom::computer::boom: A data-parallel functional programming language
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
What I Wish I Knew When Learning Haskell
- functional-programming-examples
- functional-programming
- examples
- article-series
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
- hacktoberfest
- haskell
lamdu - towards the next generation IDE
- integrated-development-environment
- programming-language
- programmer-tool
- projectional-editor
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
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.
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.
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Explain why two Nix derivations differ
Compositional pipelines