Jonathan Coates

urn. Yet another Lisp variant which compiles to Lua

illuaminate. Very WIP static analysis for Lua

luaj.luajc. LuaJC ported to the ASM framework

MirrorMark. Simple, yet extensible Markdown editor built with Codemirror.

Python-Clouds. Python Cloud generation with Pyglet and Perlin Noise

farming-hell. Yet another FGO servant planner

LuaCompilerProject. Optimising Compiler for Lua and its derivatives

lua_menhir. Parsing Lua in Lua with OCaml

Cipher-Crackers. Crackers for National Cipher Challenge

waluaigi. The PUC Lua VM, compiled to Java.

amulet. TeX

where-the-heart-is. :house: is where the :heart: is

Patcher. Runtime patching with ASM. Because.

omnomnom. An OCaml test runner inspired by Tasty

forgelint. Static analysis for Forge mods

LuaSourceTools. Lua

scrutiny. Bits and bobs for wrangling my server.

ocaml-lsp-subtree. OCaml

luaj.api. A helpful API wrapper for LuaJ

cc.crzd.me. ComputerCraft CI server

NeoForge. Neo Modding API for Minecraft, based on Forge

agda. Agda is a dependently typed programming language / interactive theorem prover.