configurable OSM offline router with elevation awareness, Java + Android

the Art of the Propagator

Optimized implementation for color-icon-matrix barcodes

Using system APIs directly with adb/root privileges from normal apps through a Java process started with app_process.

A Basic Call Recorder for rooted Android devices

Temporary/draft repository with luametatex

A minimal modern (Lua)TeX distribution

A Kernel based root solution for Android

Digitization of the Garamond shown on the Egenolff-Berner specimen

TeX in a Nutshell -- A short document about TeX principles

A Scheme subset for Atmel microcontrollers.

Scientific calculator with complex numbers and graphing of user-defined functions.

Bibliography of Scheme research (readscheme.org and beyond)

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

A symbolic math library written in Julia modelled off scmutils

Computer Algebra, Physics and Differential Geometry in Clojure.

The Racket repository

generator in common lisp

My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA

Various projects in OpTeX

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

actually publishing my solutions now that they're not redundant...

Julia functional programming infrastructures and metaprogramming facilities

Repository for the book "Crafting Interpreters"

The Magic Mask for Android

Prototype smart text editor

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

The Clojure programming language