Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Functional Programming Course

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

The core component that is used to participate in a Cardano decentralised blockchain.

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

What I Wish I Knew When Learning Haskell

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

Huge list of videos, talks, courses for Haskell programming language.

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

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

Applied Functional Programming Course - Move from exercises to a working app!

Slides and other materials for functional programming lectures ITMO university

Haskell Programming From First Principles - Follow-up Resources

An interpreter for learning and exploring pure λ-calculus

Haskell GraphQL Api, Client and Tools

Implementation of the Hydra Head protocol

❇️ A WebSocket JSON/RPC bridge for Cardano

Live recompiler for Haskell

Embedded specification language & model checker in Haskell

Videos and exercises for the Haskell and Cryptocurrencies class.

🐹 Fast, lightweight & configurable chain-index for Cardano.

repository for the Alonzo testnet

Haskell tldr client

Evaluate special comments in your program on file save.