Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
77,353 visible repositories in the index
1–24 of 59 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
A friendly programming language from the future
- haskell
- programming-language
- unison
- unison-language
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
- haskell
- postgresql
- nix
- mvc
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- hledger
- haskell
- ledger
- web-application
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
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
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Ethereum smart contract fuzzer
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Official Haskell IDE support via the language server protocol (LSP)
- lsp-server
- haskell-language-server
- ide
- haskell
: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.
A wiki using HAppS, pandoc, and git
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
- haskell
- logs
- metrics
- monitoring