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
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's lectures and talks on functional programming
sublime-syntax-idris2
Sublime syntax and appropriate theme for Idris 2 programming language
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/slides-of-lectures
Slides of @buzden's lectures and talks on functional programming
buzden/idris2-random-pure
Pure pseudo-random splitmix generator
buzden/sublime-syntax-idris2
Sublime syntax and appropriate theme for Idris 2 programming language
buzden/idris2-golden-runner-helper
An easy way to create `pack`-friendly runners of golden tests
buzden/idris2-i-hate-parens
Syntax for those who hate parenthesis
buzden/idris2-summary-stat
Summary statistics facilities for Idris2
buzden/idris2-swirl
A library for streams of monadic actions
buzden/idris2-time-for-sleep
Some time type + interfaces for getting time and sleeping
buzden/nvim-config
My configuration of neovim and vim
buzden/BangleApps
Bangle.js App Loader (and Apps)
buzden/bat
A cat(1) clone with wings.
buzden/Idris2
A purely functional programming language with first class types
buzden/idris2-applicative-do
`do`-syntax with `Applicative` power for Idris2
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-fin-lizzie
Additional utilities for `Data.Fin`
buzden/idris2-if-unsolved-implicit
An interface helping to set a value to an implicit when it is unsolved
buzden/idris2-mk
A macro for accessing constructors of records or implementations, even unnamed
buzden/idris2-mtl-tuple-impls
Tuple implementations for the standard MTL interfaces
buzden/idris2-pack-db
buzden/idris2-positive-nat
A strictly positive natural number data type
buzden/idris2-typelevel-emptiness-collections
Collections with type-level control of emptiness, e.g. generalisation of `List` and `List1`
buzden/idris2-weaker-traversals
Traversals that are weaker than `Traversable` and thus more broadly applicable
buzden/typst.vim
Vim plugin for Typst