Beast code in Giters

Graham's starred repositories

Hypergraph

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

Language:Rust1000

typesetting

document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]

Language:RacketMIT3400

tikzplotlib

:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Language:PythonMIT240000

rntztex

Styles, a class, and a Makefile for LaTeX projects

Language:PythonMIT400

latexrun

A 21st century LaTeX wrapper

Language:PythonMIT61600

mal

mal - Make a Lisp

Language:AssemblyNOASSERTION1003600

microkanrens

Implementations of µKanren in assorted languages

Language:PureScriptGPL-3.06000

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:Agda26300

ptolemy

My reading list

8000

solving-sol

Implement Sol LeWitt's instructions in JavaScript.

Language:HTMLUnlicense51600

StoneSoup

A guide to making simple games with Processing

Language:Processing6300

ok

An open-source interpreter for the K5 programming language.

Language:JavaScriptMIT58800

kona

Open-source implementation of the K programming language

Language:CISC136000

pollen

book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]

Language:RacketMIT118900