hermetique Goto Github PK

tapet

Tapestry-like visuals with Futhark :boom:

tarot-compiler

tarpits-abstraction

A book on computation from first principles

teaching-concurrency

Specifications and safety proofs in different tools of a simple concurrent algorithm

tegaki

a simple drawing program - a modern rewrite of my old tegaki

tenyr

Simple, orthogonal 32-bit computer architecture and environment

terminal.js

dec terminal statemachine (and possibly browser impl) in javascript

termlisp

A lisp dialect based on pattern matching and term rewriting

text-munger

Automatically exported from code.google.com/p/text-munger

textbookart

TextbookArt: Abstract Handbook; Or, A Season in The Life of A. Manual.

textgentex

preliminary early start notes and possible musing on potentials

the-mlab

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

theoremquest

theory-toolbox-2

thinlisp

ThinLisp is an open source Lisp to C translator.

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

tinyforth

Ultra-tiny forth implementation in GNU C99. A microscopic simplified forth, designed to be as simple, extensible, and readable as possible

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.

towards-a-minikanren-with-fair-search-strategies

tree-lang

Implementation of Tree esoteric programming language

treemeta

A revival of the TREE-META compiler-compiler.