yurrriq Goto Github PK

hott-book

A textbook on informal homotopy type theory

howistart-erlang1-code

Code for my tutorial on howistart.org

hs-clippings

Parser for Kindle-format clipping files ('My Clippings.txt'.)

hsolitaire

Read-only mirror

http-twiddle

HTTP debugging tool (Emacs mode)

hyperwave

ial

Iowa Agda Library

icalendar

iCalendar data types, parser, and printer.

idringen

a project manage tool for Idris

idris-alga

The theory of algebraic graphs formalised in Idris

idris-bifunctors

A small bifunctor library for idris

idris-code-highlighter

A semantic highlighter for Idris code

idris-containers

Various data structures for use in the Idris Language.

idris-dev

A Dependently Typed Functional Programming Language

idris-emptycg

An empty code generator, to be used as a starting point for any new back ends.

idris-erlang

Erlang Backend for Idris Compiler

idris-extras

Various minor modes for editors and some tool support.

idris-hitchhiker-tree

An Idris implementation of hitchhiker trees.

idris-hotp

HOTP: An HMAC-Based One-Time Password Algorithm (RFC 4226)

idris-httpclient

A http client for Idris based on libcurl

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

idris-interaction.rkt

A Racket library for interacting with Idris over the IDE protocol

idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

idris-lens

van Laarhoven lenses for Idris

idris-linear

idris-logic

Propositional logic tools, inspired by the Coq standard library.

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-music

idris-quickcheck

A port of QuickCheck to Idris

idris-states

State machines in Idris