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