Pinned Repositories
acme-haskellee
Haskell Enterprise Edition
FiniteEnum
Enumeration of finite types in Idris
flexidisc
Typesafe extensible records (and more) for Idris.
J2S
A library for boardgames in Haskell
property_checker
twerk
TWitter ERKive reader
UnionType
UnionType in Idris
REPLica
Golden tests for command-line interfaces.
berewt's Repositories
berewt/UnionType
UnionType in Idris
berewt/J2S
A library for boardgames in Haskell
berewt/twerk
TWitter ERKive reader
berewt/FiniteEnum
Enumeration of finite types in Idris
berewt/flexidisc
Typesafe extensible records (and more) for Idris.
berewt/ArduinoML-kernel
Zoo of implementations associated to the ArduinoML kernel
berewt/berewt.github.io
berewt/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
berewt/DDD-and-Dependent-Types
Explorations of dependent types used for domain driven design
berewt/dhall-gitlab-ci
A Dhall encoding of the GitLab CI configuration schema
berewt/documented-source
Technical articles, written directly as runnable projects
berewt/flora-server
A package index for the Haskell ecosystem
berewt/haskell-online-dojo
A Haskell clone of https://cstack.github.io/db_tutorial
berewt/Haskell-Turtle-Library
Shell programming, Haskell style
berewt/HaXml
Forked from http://code.haskell.org/HaXml
berewt/Idris2
A purely functional programming language with first class types
berewt/Idris2-boot
A dependently typed programming language, a successor to Idris
berewt/idris2-lsp
Language Server for Idris2
berewt/idris2-pack
berewt/india
Interactive Narration DSL in Idris for All
berewt/live-coding
Repository for my live-coding sessions
berewt/marconi
berewt/oneof
List the valid values of a type
berewt/Pairs-rulebook
French translation of the Pairs cardgame: http://cheapass.com/sites/default/files/PairsCompanionBook.pdf
berewt/recursion_schemes
Recursion schemes for Idris
berewt/singer
Haskell tool to rebuild tweeter threads
berewt/SPLV20
SPLV20 course notes
berewt/sublist
Partial order on list elements
berewt/the-little-typer
An implementation of The Little Typer in Haskell
berewt/vecahaskell