buzden Goto Github PK

alexey-volkov-idris2-misc

Random idris excercises that are not worthy of their own repos

arend-site

Arend language website source

bangleapps

Bangle.js App Loader (and Apps)

buzden-overlay

A Gentoo Linux overlay of buzden

cats-scalacheck

Cats Instances For Scalacheck

cbt

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

code-for-lectures

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

continuations

A Matthias Mann's continuations library fork

cppo

C-style preprocessor for OCaml

deptycheck

Facilities for generating dependently-typed data

dfd

Discrete finite probability distribution monad and arrrow

discipline

Flexible law checking for Scala

doobie

Functional JDBC layer for Scala.

eff

Eff monad for cats - http://atnos-org.github.io/eff

gentoo-haskell

official gentoo haskell overlay

idris-arduino-lib

Library for Arduino primitives in type-safe manner

idris-blink

A simple Idris 2 program to blink the LED on an Arduino

idris-dev

A Dependently Typed Functional Programming Language

idris-frex

idris-playground

Personal playground for Idris stuff

idris-rts-for-avr-arduino

C runtime system (RTS) of Idris 1 which can work with AVR-based Arduino

idris-rts-for-sam-arduino

C runtime system (RTS) of Idris 1 which can work with ARM SAM-based Arduino

idris2

A purely functional programming language with first class types

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-coop

A library for simple concurrency without parallelism

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-experimental

Experimenting with recent additions to the Idris2 compiler

idris2-filepath

Unix style file paths in Idris2