Denis Buzdalov

deptycheck. Facilities for generating dependently-typed data

idris2-coop. A library for simple concurrency without parallelism

slides-of-lectures. Slides of @buzden's lectures and talks on functional programming

continuations. A Matthias Mann's continuations library fork

idris-playground. Personal playground for Idris stuff

sublime-syntax-idris2. Sublime syntax and appropriate theme for Idris 2 programming language

idris2-time-for-sleep. Some time type + interfaces for getting time and sleeping

idris2-random-pure. Pure pseudo-random splitmix generator

idris2-i-hate-parens. Syntax for those who hate parenthesis

idris2-golden-runner-helper. An easy way to create `pack`-friendly runners of golden tests

idris2-best-alternative. Utilities for the `Alternative` interface

idris2-dependent-vect. Vector of type-level length where type of elements depends on index

idris-arduino-lib. Library for Arduino primitives in type-safe manner

nvim-config. @buzden's configuration of neovim

idris2-summary-stat. Summary statistics facilities for Idris2

code-for-lectures. Code that @buzden used for lectures and talks on functional programming

squants-cats. Instances of cats typeclasses for squants library

idris2-mk. A macro for accessing constructors of records or implementations, even unnamed

idris2-rts-for-arduino. C runtime system (RTS) of Idris 2 which can work with AVR- and ARM SAM-based Arduino

idris2-swirl. A library for streams of monadic actions

idris2-fin-lizzie. Additional utilities for `Data.Fin`

dfd. Discrete finite probability distribution monad and arrrow

idris2-typelevel-emptiness-collections. Collections with type-level control of emptiness, e.g. generalisation of `List` and `List1`

idris2-regex. Simple typed regex library for Idris 2