Skip to content
View thinkpad20's full-sized avatar
11 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2

Block or report thinkpad20

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • simpleargs Public

    A very straightforward argument parser library for python

    Python 6 3 MIT License Updated Dec 18, 2015

  • rowling Public

    A simple, easily embeddable pure-functional language with static typing and row polymorphism.

    Haskell 10 1 MIT License Updated Jul 9, 2015

  • oneormore Public

    A never-empty list type for Haskell.

    Haskell 1 MIT License Updated Jul 9, 2015

  • simple-coq-classes Public

    Some relatively simple and useful Haskell-style classes for Coq, and some instances for them.

    Coq Updated Jan 29, 2015

  • software-foundations Public

    My work in the software foundations course.

    Coq MIT License Updated Jan 23, 2015

  • sublime-ur Public

    Ur/web syntax definition for Sublime Text

    Updated Dec 23, 2014

  • urweb Public

    Unofficial clone of impredicative.com urweb repo

    Standard ML Other Updated Dec 22, 2014

  • sublimecoq Public

    Sublime text mode for coq.

    Updated Dec 16, 2014

  • sublime_settings Public

    My personal settings for Sublime Text.

    Updated Oct 14, 2014

  • mono-traversable Public

    Forked from snoyberg/mono-traversable

    Type classes for mapping, folding, and traversing monomorphic containers

    Haskell MIT License Updated Sep 8, 2014

  • context-stack Public

    An abstraction of a stack and stack-based monadic context.

    Haskell MIT License Updated Aug 29, 2014

  • easyjson Public

    Simple, painless Haskell JSON library.

    Haskell 1 1 MIT License Updated Aug 7, 2014

  • Elm Public

    Forked from elm/compiler

    Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 4, 2014

  • str Public

    A useful Haskell type class for abstracting string implementations.

    Haskell MIT License Updated Jul 16, 2014

  • s3-streams Public

    An Amazon S3 client in Haskell, built on Http-Streams.

    Haskell 1 MIT License Updated Jul 15, 2014

  • http-common Public

    Forked from aesiniath/http-common

    Base Haskell types used by a variety of HTTP clients and servers.

    Haskell Other Updated Jul 12, 2014

  • docx Public

    A library for creating and manipulating Docx documents in Haskell.

    Haskell MIT License Updated Jul 11, 2014

  • http-streams Public

    Forked from aesiniath/http-streams

    Haskell HTTP client library for use with io-streams

    Haskell Other Updated Jul 7, 2014

  • hS3 Public

    Forked from scsibug/hS3
    Haskell Other Updated Jul 7, 2014

  • llama Public

    A multiparadigm language with strong functional and imperative features.

    Haskell 1 Updated Jul 4, 2014

  • barista Public

    Extending CoffeeScript with the functionality of TypeScript

    Haskell 2 Updated May 16, 2014

  • thinkpad20.github.io Public

    Mah blogz

    Updated May 1, 2014

  • webblargh Public

    My crappy blog

    CSS Updated Apr 29, 2014

  • express-typescript Public

    Forked from hdeshev/express-typescript

    A Node.js sample app implemented in TypeScript

    Updated Apr 24, 2014

  • TinyMap Public

    A pure, strict and extremely space efficient HashMap with good asymptotics

    Haskell MIT License Updated Apr 22, 2014

  • jasmine Public

    Forked from jasmine/jasmine

    DOM-less simple JavaScript testing framework

    JavaScript Updated Mar 27, 2014

  • dml Public

    A language for generating documents from data

    Updated Jan 31, 2014

  • nspace Public

    A better namespacer for python.

    Python Updated Jan 23, 2014

  • kirei Public

    A small mostly-pure functional language that compiles to JavaScript

    Haskell 2 1 Updated Jan 5, 2014

  • parsing-with-whitespace Public

    Experimenting with whitespace-sensitive parsers.

    Haskell Updated Oct 9, 2013