stefan-hoeck Goto Github PK

idris2-optics

Experiments with Optics in Idris2

idris2-pack

idris2-pack-admin

Maintenance utilities for the Idris2 package manager *pack*

idris2-pack-db

idris2-pack-docs

API docs for pack's package collection.

idris2-parser

Total lexer and parser for Idris2

idris2-pq

PostgreSQL Bindings for Idris2

idris2-pretty-show

idris2-prim

Axioms and Propositions for Primitives in Idris2

idris2-profiler

A simple profiler for Idris2 functions

idris2-python

A Python backed for Idris 2

idris2-refined

Refinement types for Idris2

idris2-rhone

idris2-rhone-js

Experimental JS bindings for idris2-rhone

idris2-rio

A simple, stack-safe effect system based on the RIO Monad

idris2-sop

Idris port of Haskell's sop-core library

idris2-streaming

An IO streaming library for Idris2

idris2-subsets

A library for runtime-checked refinement types

idris2-tailrec

Provably total, tail-call optimized monadic recursion in Idris2

idris2-tls

A portable idris2 implementation of TLS

idris2-todomvc

Experimental TodoMVC implementation in Idris2 using rhone-js

idris2-tutorial

idris2-webidl

Parsers and (eventually) Idris code generator for WebIDL documents

labeled-graph

A Haskell library for simple labeled graphs

maven

Some useful maven poms for working with netbeans and scala

nb

Brings functional programming (scala / scalaz) as well as reactive programming (dire) to the Netbeans platform

oechem_iteratee

An exploration of Iteratee-base bulk operations using OpenEye's OEChem toolkit

pg-idris

Beginnings of a Postgres client for Idris 2

prettier

Bernardy style pretty-printer

rpgtool