Pinned Repositories
code-for-lectures
Code that @buzden used for lectures and talks on functional programming
continuations
A Matthias Mann's continuations library fork
deptycheck
Facilities for generating dependently-typed data
dfd
Discrete finite probability distribution monad and arrrow
idris-arduino-lib
Library for Arduino primitives in type-safe manner
idris-playground
Personal playground for Idris stuff
idris2-coop
A library for simple concurrency without parallelism
idris2-random-pure
Pure pseudo-random splitmix generator
slides-of-lectures
Slides of @buzden lectures on functional programming
idris-blink
A simple Idris program to blink the LED on an Arduino
buzden's Repositories
buzden/deptycheck
Facilities for generating dependently-typed data
buzden/idris2-coop
A library for simple concurrency without parallelism
buzden/idris-playground
Personal playground for Idris stuff
buzden/idris2-random-pure
Pure pseudo-random splitmix generator
buzden/slides-of-lectures
Slides of @buzden lectures on functional programming
buzden/code-for-lectures
Code that @buzden used for lectures and talks on functional programming
buzden/idris2-golden-runner-helper
An easy way to create `pack`-friendly runners of golden tests
buzden/idris2-swirl
A library for streams of monadic actions
buzden/nvim-config
My configuration of neovim and vim
buzden/BangleApps
Bangle.js App Loader (and Apps)
buzden/buzden-overlay
A Gentoo Linux overlay of buzden
buzden/Idris2
A purely functional programming language with first class types
buzden/idris2-best-alternative
Utilities for the `Alternative` interface
buzden/idris2-bounded-doubles
Doubles with type-level bounds for Idris 2
buzden/idris2-collection-utils
Non-standard functions for standard Idris 2 collections
buzden/idris2-cozippable
Cozippable interface and implementations for Idris 2
buzden/idris2-dependent-vect
Vector of type-level length where type of elements depends on index
buzden/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
buzden/idris2-fin-lizzie
Additional utilities for `Data.Fin`
buzden/idris2-hedgehog
An Idris port of the Haskell Hedghog library
buzden/idris2-i-hate-parens
Syntax for those who hate parenthesis
buzden/idris2-mtl-tuple-impls
Tuple implementations for the standard MTL interfaces
buzden/idris2-ncd-xz
Library and program for computing the normalised compression distance
buzden/idris2-pack
buzden/idris2-pack-db
buzden/idris2-positive-nat
A strictly positive natural number data type
buzden/idris2-summary-stat
Summary statistics facilities for Idris2
buzden/idris2-toml
A TOML parser for Idris 2
buzden/idris2-typelevel-emptiness-collections
Collections with type-level control of emptiness, e.g. generalisation of `List` and `List1`
buzden/prettier
Bernardy style pretty-printer