traeger Goto Github PK

_

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

simplestxml

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

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.