Featured projects
Compose
A concatenative programming language in a functional style
Pups
A parser library focused on parser combinators
Differentiation Engine
A symbolic differentiator with a web interface
Latest posts
Symbolic Differentiation & Computer Algebra Systems
About symbolic differentiation and computer algebra systems
Compose Language Introduction
An introduction to my new concatenative programming language, Compose
Polyactive Agents: Multiple Principal Ports
An explanation of a flaw in standard interaction nets that makes them less than optimal for parallel evaluation, and a variation of them that solves this flaw
Decoding Data with Prime Numbers
A method of decoding data using the fundamental theorem of arithmetic