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
BangleApps
Bangle.js App Loader (and Apps)
buzden-overlay
A Gentoo Linux overlay of buzden
idris2-applicative-do
`do`-syntax with `Applicative` power for Idris2
idris2-arrow-do-syntax
`do`-syntax for `Arrow`s for Idris2 using elaborator reflection
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-filepath
Unix style file paths in Idris2
idris2-golden-runner-helper
An easy way to create `pack`-friendly runners of golden tests
idris2-hedgehog
An Idris port of the Haskell Hedghog library
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-summary-stat
Summary statistics facilities for Idris2
idris2-swirl
A library for streams of monadic actions
idris2-time-for-sleep
Some time type + interfaces for getting time and sleeping
idris2-typelevel-emptiness-collections
Collections with type-level control of emptiness, e.g. generalisation of `List` and `List1`
Iosevka
Versatile typeface for code, from code.
nvim-config
My configuration of neovim and vim
prettier
Bernardy style pretty-printer
proaudio-gentoo
Overlay for ProAudio Gentoo