whitten

David Whitten's repositories

The-ZIL-Files

Compiling historical ZIL source files using the ZILF toolset

Language:ZIL2 20

fizmo

Z-Machine interpreter in plain C

Language:M4BSD-3-Clause1 10

iwolfram

A jupyter kernel for Wolfram Mathematica

Language:JavaScript1 10

k1801

1801 series ULA reverse engineering

Language:VerilogNOASSERTION1 20

Learning-ZIL

Creating Z-machine games using Jesse McGrew's ZILF toolset

Language:ZIL1 10

Magnetic

Interpreter for games released by the UK company Magnetic Scrolls, originally written by Niclas Karlsson

Language:CGPL-2.01 10

MDL-Zork

Confusion-friendly MDL source code for MIT's version of Zork

Language:ZIL1 10

Mystery-Mansion

This is the HP1000/3000 text adventure game "Mystery Mansion", ported to C.

Language:C1 10

TempleOS-tools

Tools and scripts I make for using TempleOS

Language:JavaScriptMIT1 10

vm80a

i8080 precise replica in Verilog, based on reverse engineering of real die

Language:VerilogNOASSERTION1 10

alda

A music programming language for musicians. :notes:

Language:ClojureNOASSERTION020

aws-lex-web-ui

Sample Amazon Lex chat bot web interface

Language:JavaScriptNOASSERTION010

bitcoin

Bitcoin Core integration/staging tree

Language:C++MIT010

flre

FLRE - Fast Light Regular Expressions - A fast light regular expression library

Language:PascalLGPL-2.1010

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Language:Ada010

GraphWriter

A server that listens for graphing requests and submits jobs to create graph images

Language:PHP010

johaus

A parser for lojban dialects, forked from https://github.com/eaburns/johaus

Language:GoMIT010

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

Language:JavaScriptNOASSERTION010

jvozba

An O(n) implementation of the lujvo-making algorithm to save the world.

Language:GoMIT010

m-jvm

The jvm backend for the M programming language

Language:KotlinMIT010

m-language

A minimal Lisp.

Language:SchemeMIT010

mlsql

inferring sql queries from plain-text questions about tables

Language:Shell010

parser

The Observable parser.

Language:JavaScriptISC010

plot_machine

A program to automate the algorithm described in William Wallace Cooks Plotto, The Masterbook of All Plots

Language:Python010

PythonProjectInitializer

A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.

Language:ShellGPL-3.0010

rdf2smw

Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool

Language:GoMIT000

SQL

BNF Grammars for SQL-92, SQL-99 and SQL-2003

Language:HTMLMIT020

vim-m

The vim plugin for the M programming language

Language:Vim ScriptMIT010

VPE

Victory Programmer Environment (used in M code Development; esp. for VISTA)

Language:MNOASSERTION010

when-then-zen

Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gherkin

Language:GherkinCC0-1.0010