Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

A static website compiler library in Haskell

Official Haskell IDE support via the language server protocol (LSP)

Terminal-based presentations using Pandoc

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Haskell source code suggestions

📜 Haskell course info, plan, video lectures, slides

Haskell 101 and 102: slides and codelabs

Educational computer programming environment using Haskell

Very low feature GHCi based IDE

Haskell API search engine

A little course to learn about some of the more obscure GHC extensions.

Slides and other materials for functional programming lectures ITMO university

Haskell pretty printer

The Software Analysis Workbench

create static websites from YAML data and string templates

💻 Exercises for the Haskell Beginners 2022 course

Source Code for JSON Parser Video

rslt, take five-ish

hyphen - access Haskell modules from Python

Type-safe effectful state machines in Haskell

Functional, expression-oriented data processing language

This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.

Reference type checker for the Lean theorem prover

hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.

Generic functions for single-sorted first-order structural unification

Supervised learning of morphology

Logic Explorer - customizable proof construction tool for sequent calculi