Denis Buzdalov's repositories
deptycheck
Facilities for generating dependently-typed data
idris2-coop
A library for simple concurrency without parallelism
idris-playground
Personal playground for Idris stuff
idris2-random-pure
Pure pseudo-random splitmix generator
slides-of-lectures
Slides of @buzden lectures on functional programming
code-for-lectures
Code that @buzden used for lectures and talks on functional programming
idris2-golden-runner-helper
An easy way to create `pack`-friendly runners of golden tests
idris2-swirl
A library for streams of monadic actions
nvim-config
My configuration of neovim and vim
BangleApps
Bangle.js App Loader (and Apps)
buzden-overlay
A Gentoo Linux overlay of buzden
idris2-best-alternative
Utilities for the `Alternative` interface
idris2-bounded-doubles
Doubles with type-level bounds for Idris 2
idris2-collection-utils
Non-standard functions for standard Idris 2 collections
idris2-cozippable
Cozippable interface and implementations for Idris 2
idris2-dependent-vect
Vector of type-level length where type of elements depends on index
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
idris2-fin-lizzie
Additional utilities for `Data.Fin`
idris2-hedgehog
An Idris port of the Haskell Hedghog library
idris2-i-hate-parens
Syntax for those who hate parenthesis
idris2-if-unsolved-implicit
An interface helping to set a value to an implicit when it is unsolved
idris2-mtl-tuple-impls
Tuple implementations for the standard MTL interfaces
idris2-ncd-xz
Library and program for computing the normalised compression distance
idris2-positive-nat
A strictly positive natural number data type
idris2-summary-stat
Summary statistics facilities for Idris2
idris2-toml
A TOML parser for Idris 2
prettier
Bernardy style pretty-printer