kmill/textadv

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Python
License
MIT License
Created over 13 years ago
Updated about 10 years ago

kmill/textadv

kmill

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An interactive fiction engine written in Python

lean4-raytracer

A simple raytracer written in Lean 4

knotfolio

A program for drawing knots and links, with support for importing images

LeanTeX

Lean 4 library for pretty printing expressions as LaTeX

zmach

A z-machine interpreter which does dynamic recompilation to javascript

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots

dcc

The Decaf Compiler Compiler

htmacros

Hypertext macros for managing websites using LaTeX-like syntax

squidmusic

A distributed music system with remote speaker control

squidlights

A general interface for light control

textadv-js

A pure-JavaScript interactive fiction engine that runs in the web browser

lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

squidlights2

new udp-based squidlights

rts

clangor

A language for sound synthesis

nyc_address_extractor

website

This is the source for my website

metaview

bignum.js

A library for doing arithmetic with big integers, rationals, and computable reals.

planalg

Planar algebra computations in Mathematica

esplights

An "operating system" for the ESP8266 to control lights.

msri2023_graphs

Repository for graph theory & combinatorics group at the MSRI Lean summer school