hermetique Goto Github PK

the-mlab

A wiki for collaborative work on totally legitimate "category theory"

theoremquest

theory-toolbox-2

thislang

A subset of javascript implemented in that subset of javascript. Yes, it can run itself.

tinybox

Tiny, single file, scalable key value store based on HAMTs

tinygame

A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript

tinymatch

A teeny language with nats, lists and pattern matching, static and dynamic semantics and a proof of progress and preservation.

tinyrw

A toy language based on rewriting using code from Baader and Nipkow.

tldr

Tiny Lua Dungeone and Roguelike Engine

tok64

Commodore 64 Basic interpreter for DOS (from http://webspace.webring.com/people/iu/um_3776/tok64/)

tomswan-collections

ZIP files containing C++, Java, Assembler, and other listings from some of the programming tutorials I wrote and published roughly between 1980 and 2001

ton-lang

A visual programming language, evaluated as a cellular automaton

toody

A two-dimensional parser combinator library.

totsubefu

The test program of a Haxe macro of building types with the Befunge interpreter.

tree-lang

Implementation of Tree esoteric programming language

treemeta

A revival of the TREE-META compiler-compiler.

triangularnim

三角棋遊戲

trigfills

Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.

trivial-gamekit

Simple framework for making 2D games

trogdor

A text adventure engine written in C

trogdor-pp

A unified engine for building text adventures and MUDs with batteries included.

trs

Reason about Term Rewriting Systems

trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

turtel

An esoteric ASCII Animation turtle graphics language designed for code golfing challenges.

twee

An equational theorem prover based on Knuth-Bendix completion

typical-antiphrasis

Paradoxes of type theory, described didactically. With accompanying proofs in Agda.

typical-math

A general-purpose type theory and proof checker generator.

ucsd-psystem-vm

Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine

ucsd-psystem-xc

Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler

ui-checker

End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec