traeger

SimplestXML

Most simple Associative Array <=> XML Conversion in PHP (with UTF8 and CDATA support)

_

the game _ (called 'blank'). A gameserver _.py and a gameclient _.js

anchorQuery

FlexSlider-Resize

resize plugin for the jquery FlexSlider (http://www.woothemes.com/flexslider/)

fol-course-2012

first order logic course in 2012 at frei universität berlin

fol-solver

first order logic solver, created in the lecture fol in 2012 at frei universität berlin

google.maps.event.tap

LongTab Events for the Google Maps API

hol-light-docker

Scripts for deploying HOL Light with Docker (and optional checkpointing)

interactiveJS

interactive JS-script interpreter written in JS for debugging and learning propose.

jquery-accordion-image-menu

Jquery accordion image menu plugin

jTextAutofit

Auto-adjusted containerbased text size

latex-math-templates

Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Power-Tower-Mountain

the warcraft3 map power tower mountain

Proper

Propositional logic theorem prover in Haskell

px2pc

px to % converter

RestIO

Standard IO via a Restful Interface

tanks.js

js reimplementation of the old game tanks

TypedHOL-Haskell

A fully Typed HOL Language Definition using GATs, supporting the TPTP syntax and the Leo3 theorem prover.