Universal markup converter
- pandoc
- haskell
- markdown
- markup
Repository Index
73,362 visible repositories in the index
1–24 of 24 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A statically typed lisp, without a GC, for real-time applications.
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
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
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
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
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
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
Packages for defining APIs, running them, generating client code and documentation.
A Haskell implementation of the Tor protocol.
Haskell GraphQL implementation
Haskell oauth2 binding
- oauth2
- oauth2-client
- haskell
- identity
Haskell AMQP client library
Virtual Haskell Environment builder
RethinkDB client library for Haskell
Experimental Malfunction backend for Idris
InfluxDB client library for Haskell
- influxdb
- haskell
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm
Implementation of Ripple client protocol in Haskell