Functional Programming Course

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

Homomorphic machine learning

Haskell bindings for TensorFlow

Deep Learning in Haskell

Tensors and neural networks in Haskell

Accompanying Source Code for the Haskell Data Analysis Cookbook

📖 source material for Thinking with Types

A 2D charting library for haskell

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

The Haskell LaTeX library.

Heterogeneous automatic differentiation ("backpropagation") in Haskell

a collection of cellular automata written in Haskell with Diagrams

Haskell implementation of open games

A graphical interactive proof assistant designed for education

I wanted to make a nicer sticker for Munihac, then things got out of hand.

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.

Language Server for Agda

1 Haskell A Day exercises

DiffusionKinetics open-source monorepo

A continuation-based backtracking logic programming monad

Comonads By Example Conference talk

A multi-method simulation library

Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other.

A 3D Boids-like flocking simulation coded in Haskell.

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.

A symbolic model checker for Dynamic Epistemic Logic.

Coordinate-free hypersurfaces as Haskell types

Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.