Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
81,588 visible repositories in the index
1–24 of 56 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Dockerfile linter, validate inline bash, written in Haskell
- dockerfile
- linter
- shellcheck
- haskell
A friendly programming language from the future
- haskell
- programming-language
- unison
- unison-language
A statically typed lisp, without a GC, for real-time applications.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
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).
The core component that is used to participate in a Cardano decentralised blockchain.
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
:boom::computer::boom: A data-parallel functional programming language
🇪🇺 Wire back-end services
- wire
- server
- haskell
- rust
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
What I Wish I Knew When Learning Haskell
- functional-programming-examples
- functional-programming
- examples
- article-series
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
:ramen: A tasty Haskell web and mobile framework
- ghcjs
- haskell
- virtual-dom
- miso
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
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
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
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
Official upstream development repository for Cabal and cabal-install
- cabal
- haskell
- hackage
A declarative Unix terminal UI library written in Haskell
- vty
- haskell
- terminal
- ui