silky

Noon van der Silk's repositories

tdg

Test-Driven Gym

000

waldo

A small Haskell server for generating visual stories based on some ascertainable data about the requester.

Language:HaskellNOASSERTION000

pandoc-templates

Templates for pandoc

000

arbor

a graph visualization library using web workers and jQuery

Language:JavaScript000

structure-preserving-metric-learning

Language:Matlab000

lazyweb-requests

Get projects and ideas built by the community

Language:JavaScript000

xcompose

for sharing .XCompose keybindings

Language:Python000

Canvas-ASCII-Art

Make ascii art with canvas

Language:JavaScript000

gitterb

The Graphical Git reporsitory Viewer Made by Ruby on Rails 3.2.2.

Language:JavaScriptLGPL-2.1000

Hydra

Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs)

Language:HaskellBSD-3-Clause000

prologdotnet

Prolog language for the .NET Framework

Language:C#MIT000

redo

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

Language:PythonNOASSERTION000

Quake-Tools

The source release of the Quake tools and utilities

000

girlfriend

Girlfriend is an installable, upgradable and removeable girlfriend.

MIT000

The-Romantic-WTF-Public-License

A dollop of love in a mechanical world.

000

vim-easymotion

Vim motions on speed!

Language:VimL000

paycheck

A Python QuickCheck implementation

Language:Python000

haskell-chat

A minimal, high-performance, IRC-like TCP chat server written in Haskell.

Language:Haskell000

improve

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

Language:HaskellNOASSERTION000