leifw Goto Github PK

geospatialweb

My conversion of geospatialweb to Maven/SBT project layout.

gi-gtk-hs

A wrapper for gi-gtk, adding a few more idiomatic API parts on top

glacier-backup

A utility for backing up (incremental) btrfs snapshots to AWS Glacier

gtk-strut

habs

Arch Haskell ABS tree

haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

haskell-typed-spreadsheet-library

Typed and composable spreadsheets

hindent

Haskell pretty printer

http4s-native-image

Compiling an example http4s web service to a native executable using GraalVM Native Image

hxq

An XML database - compiles XQuery code to Haskell and SQL requests

idris-demos

Collection of Idris tests and demonstration programs

idris-dev

A Dependently Typed Functional Programming Language

idris-presentation

Presented at PDXFunc on 12/10/2012

idris-sublime

A Plugin to use Idris with Sublime

idris-type-providers

Type provider library for Idris

idris-vim

Idris mode for vim

idris-xml-simple

Simple XML ADT for Idris

idrisnet2

A proper network library for Idris, now that I know what I'm doing.

iquery

Idris Lib to interact with the DOM and Browser API for the JavaScript backend

janrain-sample-code

Janrain Sample Code

learnhaskell

Learn Haskell

leifw.github.io

lift-test

Testing deserializing case classes with lift-json

logback-config

Typesafe config configurator for logback

magnolify

A collection of Magnolia add-on modules

multibot

An IRC bot that tries to support multiple languages

musicpath

Prototype implementation of a linked data community wiki of local music scene relationships.

onetuple

Singleton Tuple

online-typechecker

Start of an in-browser live typechecking editor for Idris

osbp_automateit

Open Source Bridge Portland's automated server setup recipes using AutomateIt