berewt Goto Github PK

acme-haskellee

Haskell Enterprise Edition

arduinoml-kernel

Zoo of implementations associated to the ArduinoML kernel

berewt.github.io

cardano-haskell-packages

Metadata for Cardano's Haskell package repository

codo-notation

Codo notation for programming with comonads in Haskell

cs410-16

being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde

ddd-and-dependent-types

Explorations of dependent types used for domain driven design

dhall-gitlab-ci

A Dhall encoding of the GitLab CI configuration schema

doctest

An implementation of Python's doctest for Haskell

documented-source

Technical articles, written directly as runnable projects

finiteenum

Enumeration of finite types in Idris

flexidisc

Typesafe extensible records (and more) for Idris.

flora-server

A package index for the Haskell ecosystem

haskell-online-dojo

A Haskell clone of https://cstack.github.io/db_tutorial

haskell-turtle-library

Shell programming, Haskell style

haxml

Forked from http://code.haskell.org/HaXml

idris-dev

A Dependently Typed Functional Programming Language

idris-free

Free Monads and useful constructions to work with them

idris-lens

idris2

A purely functional programming language with first class types

idris2-boot

A dependently typed programming language, a successor to Idris

idris2-lsp

Language Server for Idris2

idris2-pack

india

Interactive Narration DSL in Idris for All

j2s

A library for boardgames in Haskell

learnhaskell

Learn Haskell

live-coding

Repository for my live-coding sessions

marconi

nats

Haskell 98 Natural Numbers

oneof

List the valid values of a type