domdere/logic-idris
proposition combinators in [Idris]
Developer Profile
domdere
Discovered public repositories for domdere in the GitHub catalog.
domdere/cpdt-idris
Code-A-Long for Certified Programming with Dependent Types [Idris]
domdere/hadron
Construct and run Hadoop MapReduce programs in Haskell
domdere/liquidhaskell
Liquid Types For Haskell
domdere/validation-idris
Port of the Validation Library to Idris
domdere/fp-in-idris
Functional Programing in Scala (in Idris) [Idris]
domdere/Idris-dev
A Dependently Typed Functional Programming Language
domdere/haskell-coq
Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]
domdere/riak-chef-cookbook
Chef cookbook for Riak
domdere/riak-haskell-client
A fast Haskell client library for the Riak decentralized data store
domdere/node-browserify
browser-side require() the node.js way
domdere/dnssd
Haskell bindings for dns-sd / avahi
domdere/persistent
Persistence interface for Haskell allowing multiple storage methods.
domdere/HoTT
Homotopy type theory
domdere/mac-lane-coq
Code-along for Categories for the Working Mathematician [Coq]
domdere/software-foundations-coq
My Code along with Software Foundations [Coq]
domdere/haskell-curio
A bit of a sandbox where I muck about and put Haskell modules that have no immediate use but are worth keeping for educational or entertainment value [Haskell]
domdere/free-th
Template Haskell to generate Free Monads from Functors [Haskell]
domdere/cabal
Official upstream development repository for Cabal and cabal-install
domdere/abc-numbers-haskell
Public repository.
domdere/haste-compiler
A Haskell to Javascript compiler.
domdere/socket.io-haskell
socket.io for haskell folks
domdere/forgetful-functor
My blog [Haskell + Hakyll]
domdere/domdere.github.io
Public repository.
domdere/RestApiTutorial.com
HTML Source code for www.RestApiTutorial.com
domdere/hs-workcraft
Blog web app backend [Haskell]
domdere/okasaki
My Code-A-Long while reading through Purely Functional Data Structures [Haskell]
domdere/brunchWithCesium
Brunch Skeleton with Cesium
domdere/cabal-dev
A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
domdere/bindings-py
Low level bindings to the Python C API [Haskell]
domdere/missing-py2
Support for calling Python [Haskell]
domdere/cabal-test-hunit
Interface to run HUnit tests via Cabal 1.16
domdere/anydbm
Multi-DBM interface [Haskell]
domdere/missingh
Utility library [Haskell]
domdere/chef-cabal
Chef cookbook that provides lwrp for dealing with cabal.
domdere/haskell-platform-chef-cookbook
OpsCode Chef cookbook that provisions GHC 7.4 (or 7.6) and Haskell Platform 2012.02
domdere/hs-crypto-cipher
A collection of cryptographic block and stream ciphers in haskell
domdere/yesod
A RESTful Haskell web framework built on WAI.
domdere/restspect
Another REST API spec language
domdere/yesod-postgres.g8
Haskell Yesod Giter8 Template
domdere/doctest-haskell
An implementation of Python's doctest for Haskell
domdere/scala-sbt.g8
giter8 template for Scala projects using sbt
domdere/chef-repo.g8
A giter8 template for a chef-repo
domdere/bindings-gdal
Haskell bindings to the GDAL library
domdere/android-sbt-project.g8
A g8 template project for android development
domdere/cabalSkeleton.g8
Template Haskell Cabal Project
domdere/pythonSkeleton.g8
just some simple utils I frequently use for python scripts
domdere/hs-hdf5
Low-level typesafe HDF5 bindings
domdere/bindings-hdf5
Low-level Haskell FFI bindings to the HDF5 library
domdere/brunchSkeleton
Brunch Coffeescript Skeleton project