zmthy Goto Github PK

incidental-detail

Intuitive synthesis of incidental detail using higher-order functions.

kihi

A compositional functional programming language.

kihi-redex

A Redex implementation of the Kihi programming language.

kinect-hs

Haskell bindings for the Kinect.

machine

Machine management for a container-centric world

mandelbrot

Simple mandelbrot renderer for Haskell workshop

minigrace

Self-hosting compiler for the Grace programming language

minigrace1

Andrew's fork of the minigrace compiler

mwh-minigrace

nztronix

A tool for converting archived physical media into archivable software.

package_control_channel

Default channel file for Package Control. Follow the directions at:

play-dead

A NaGaDeMo game.

react-router

Declarative routing for React

recursive-types

An Agda encoding of a language with recursive types.

snap-accept

Accept header branching for the Snap web framework

snaplet-css-min

A Snaplet for CSS minification.

snaplet-rest

REST resources for the Snap web framework

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

tiny-grace

A formalism and mechanisation of a subset of Grace

vicarious

A game for Pixel Jam 2013.

vim-grace

Vim configuration for the Grace programming language

whiley-tmbundle

A Textmate bundle for the Whiley programming language.

whileycompiler

Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.

whitespace

A collaborative whiteboard tool for education.

wybench

Benchmark Suite for Whiley

wyscript

A derivative of the Whiley language which compiles to JavaScript

xforms

Extra transducers and reducing fns for Clojure(script)