Leif Warner's repositories
rdf4h
rdf4h is a library for working with RDF in Haskell
multibot
An IRC bot that tries to support multiple languages
IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
scala-arm
This project aims to be the Scala Incubator project for Automatic-Resource-Management in the scala library
sublime-idris
Sublime Text plugin for Idris language
learnhaskell
Learn Haskell
yi-haskell-utils
Utility functions for working with Haskell in Yi. Avoids clutter in the core.
wartremover
Flexible Scala code linting tool
idris-xml-simple
Simple XML ADT for Idris
scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz
iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
xmonad-utils
A small collection of X utilities useful when running XMonad.
vim-IdrisConceal
Makes idris code look pretty in vim
online-typechecker
Start of an in-browser live typechecking editor for Idris
pdxscala.github.com
PDXScala
binfmt_java
Enable direct exection of Java .jar files on a systemd system
swish
Semantic Web Inference Scripting in Haskell
sbt-git-info
Embeds info about the last git commit into your jar (on the classpath) as a .properties file
Idris-presentation
Presented at PDXFunc on 12/10/2012
xmonad-extras
Copied from darcs repo at http://code.haskell.org/xmonad-extras
Predicates
A small library to add some convenience methods to Scala encompassing predicate logic
scala-conduits
an attempt at a port of haskell's conduits library
Janrain-Sample-Code
Janrain Sample Code
CalagatorMobile
Read in Calagator and display in XHTML Basic for mobile devices.