j's Projects
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
An implementation of intel x86 32 bit assembly in python.
A textbook on informal homotopy type theory
A tiny little boolean solver.
internet communication for factorio mods
A stack oriented programming language designed to help programmers express intent.
C polynomial math library
Source code, as described in the paper.
These are my dot files. I've primarily been a MacOS user for most of the time I've been collecting dotfiles, but I've recently switched to Linux. I primarily use Arch, Arco, Manjaro, or some other Arch based distro; so that's where I take my que.
my personal dotfiles and stuff
Removes the need for sulfer in uranium mining.
Draws simple SVG flow chart diagrams from textual representation of the diagram
Simple reverse polish notation calculator in FORTRAN
Raytracer in pure f90 fortran.
FreeBSD src tree (read-only mirror)
Custom Stack type for FORTRAN90
A bit like tokei, a lot like linguist
A command-line benchmarking tool
about me
jake-87's blog
Kalker/kalk is a calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals
Implementations of the Knight programming language
Graphical small-internet client for windows, linux, MacOS X and BSDs. Supports gemini, http, https, gopher, finger.
Specs and example of the KSM programming language
Run code from many programming languages!
Uses MicroBit to track steps
generates optimal? minecraft recipes
The source for the murk programming language.