Block or report user

Organizations

@snapframework @UU-ComputerScience
  • My vim config

    Vim script Updated Apr 5, 2017
  • vpmb

    Forked from bwaite/vpmb

    An implementation of the VPM-B dive algorithm

    Python 8 Updated Sep 8, 2016
  • Clean plugin for Vim

    VimL 4 Updated Jul 13, 2016
  • A code-searching tool similar to ack, but faster.

    C 832 Updated May 17, 2016
  • A Dependently Typed Functional Programming Language

    Haskell 433 Updated Dec 3, 2015
  • Public repo for the units-defs package of well-typed unit definitions.

    Haskell 8 Updated Nov 23, 2015
  • A general way to consume input using applicative functors

    Haskell 1 54 Updated Aug 13, 2014
  • Haskell 8 5 Updated Jun 16, 2014
  • aeson

    Forked from bos/aeson

    A fast Haskell JSON library

    Haskell 161 Updated Mar 5, 2014
  • Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org

    Haskell 24 Updated Feb 13, 2014
  • d3

    Forked from d3/d3

    A JavaScript visualization library for HTML and SVG.

    JavaScript 16,731 Updated Nov 20, 2013
  • joint

    Forked from clientIO/joint

    JavaScript diagramming library

    JavaScript 449 Updated Nov 20, 2013
  • UU Attribute Grammar Compiler

    Haskell Updated Aug 27, 2013
  • Language Savant - if your repo's language is being reported incorrectly, send us a pull request!

    Ruby 1,819 Updated Aug 19, 2013
  • Haskell Updated Nov 2, 2012
  • xmonad in Coq

    Coq 1 6 Updated Aug 8, 2012
  • Haskell 17 9 Updated Aug 8, 2012
  • A mac-oriented emacs configuration bundle with batteries included: check out as ~/.emacs.d

    Emacs Lisp 1 1,803 Updated Jun 11, 2012
  • pool

    Forked from bos/pool

    A high-performance striped resource pooling implementation for Haskell

    Haskell 2 34 Updated Mar 8, 2012
  • JavaScript 11 2 Updated Jan 27, 2012
  • Haskell 14 7 Updated Jan 27, 2012
  • 1 Updated Jan 17, 2012
  • Redmine plugin to support for JA-SIG’s Central Authentication Service (CAS) protocol. This plugin give you a solid and secure single sign on solution for web-based applications. The plugin use the rubycas-client to work with the CAS protocol. The code of the rubycas-client is included here because some bugs have been fixed but they are not yet a…

    Ruby 1 8 Updated Jan 16, 2012
  • JavaScript 1 Updated Jan 11, 2012
  • JavaScript 1 Updated Dec 29, 2011
  • Generic list-like structures [Haskell]

    Haskell 1 8 Updated Dec 22, 2011
  • Haskell 1 2 Updated Dec 12, 2011
  • Haskell 2 Updated Oct 27, 2011
  • A Haskell style checker

    Haskell 1 2 Updated Oct 22, 2011
  • Javascript Libraries for Haskell compilers supporting Javascript code generation

    Haskell 1 1 Updated Oct 19, 2011