Stars
The financial transactions database designed for mission critical safety and performance.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
📓 Flexible and configurable modern #Haskell logging framework
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
Cross-platform, fast, feature-rich, GPU based terminal
Generate Nix build instructions from a Cabal file
A ready-to-fork interpreted functional language with type inference
System for collecting, deriving and working with facts about source code.
A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.
Embedded specification language & model checker in Haskell
An easy to use, cross platform, GUI library for writing Haskell applications.
Functional reactive web and mobile applications, with batteries included.
Vim-fork focused on extensibility and usability
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it
Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included
3️⃣ 🍰 Architecture of the Haskell web applications
⌨️ A modern TUI typing game featuring online racing against friends.
Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.
Moved to https://github.com/haskell-webgear/webgear
A strongly-typed language that compiles to JavaScript
A declarative, type-safe UI library for PureScript.
Parsing, analyzing, and comparing source code across many languages