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

Functional Programming Course

A modern proof language

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

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…

Slides and other materials for functional programming lectures ITMO university

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

FPSheet: A Spreadsheet program with Haskell as the scripting language

Course materials for Stanford's CS43: Functional Programming Paradigms

Analytics DSL in Haskell

Haskell bindings for the Blockchain.info API