sciolizer

maru-annotated

A clone of Piumarta's Maru 1.0, with some comments added for my own understanding

craftinomicon

Bukkit plugin for showing crafting recipes

undefineditor

Editor for haskell source code

abstract-interpretation-couset-couset

A modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)

aftereffects.d.ts

ardielle-go

ardielle-java

ardielle-maven-plugin

ardielle-tools

beaconz

Bukkit plugin to enable a sub-game of beacon and area capture.

bud

Prototype Bud runtime (Bloom Under Development)

bukkit-reloader

Development tool for hot swapping bukkit plugins

composable-type-systems

DefinitelyTyped

The repository for high quality TypeScript type definitions.

elide

Elide is a Java library that lets you stand up a JSON API web service with minimal effort

haskell-ides

An evaluation of various haskell IDEs

junit-addons

junit-addons from http://junit-addons.sourceforge.net

minisat-rs

Rust crate which compiles minisat and provides an interface (C/C++ compiler required)

node-k8s-client

kubernetes client of node.js

octopress

Partial application is not Schönfinkeling

ometa-js-workspace-samples

A backup of http://tinlizzie.org/ometa-js/

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

pursuit-docker

A docker container for running pursuit locally

redlightgreenlight

minecraft mod

ricardo-law-of-rent

A visualization of Ricardo's law of rent

sciolizer.github.io

stack

The Haskell Tool Stack

symmetry-sat

SAT Solver that is aware of constraint symmetry

visitor-maven-plugin

Visitor pattern boilerplate generator

xtext-sandbox