zmthy/whiley-tmbundle

Stars
1
Language
Created over 12 years ago
Updated over 12 years ago

zmthy/whiley-tmbundle

zmthy

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Textmate bundle for the Whiley programming language.

http-media

Processing HTTP Content-Type and Accept headers

hopper

An asynchronous JavaScript interpreter for the Grace programming language

play-dead

A NaGaDeMo game.

cabal-test-quickcheck

QuickCheck for Cabal

recursive-types

An Agda encoding of a language with recursive types.

whitespace

A collaborative whiteboard tool for education.

snaplet-rest

REST resources for the Snap web framework

async-io

A library for Haskell supporting asynchronous IO with a fork-join model.

snap-accept

Accept header branching for the Snap web framework

automating-gradual-typing

Define your language under an abstracted functor and get different type systems as a result: an Agda exercise

kinect-hs

Haskell bindings for the Kinect.

graceless-redex

Graceless semantics in PLT Redex.

kihi

A compositional functional programming language.

hs-pong

An attempt to use OpenGL and Reactive Banana to make Pong.

nztronix

A tool for converting archived physical media into archivable software.

grace-tmbundle

A Textmate Bundle for the Grace programming language

vicarious

A game for Pixel Jam 2013.

snaplet-css-min

A Snaplet for CSS minification.

wyscript

A derivative of the Whiley language which compiles to JavaScript

dotfiles

My personal configuration files.

mandelbrot

Simple mandelbrot renderer for Haskell workshop

grace-processing

Bindings for the Processing graphics library in Grace

incidental-detail

Intuitive synthesis of incidental detail using higher-order functions.