Latex code for making neural networks diagrams

A fresh implementation of Common Lisp

Scripts for Latex to HTML5 conversion

Research on integrating datalog & lambda calculus via monotonicity types

Learn how to use markdown for science

Font selection in LaTeX for XeTeX and LuaTeX

A concise Julia language introductory manual for programmers.

Programming in Tabled Prolog by David S Warren

Prototype of a fuzzer for Julia based on concolic execution

My curriculum vitae