Jesse Alama

decimal128. JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic

argo. JSON Schema Adventures

ladr. LADR: Library for Automated Deduction Research

proposal-decimal-polyfill. Polyfill for the Ecma TC39 decimal proposal

dialogues. Tools for exploring logic through Lorenzen dialogue games.

computational-metaphysics. Investigations in computational metaphysics

racketcon-2018-web-devel-workshop. Tutorials for the web devel workshop given at RacketCon 2018

tipi. Theory development with TPTP

ejs. Exact JSON library for Racket

mizar-items. Breaking up mizar articles into bits and computing relations among them.

laramie. HTML5 parser for Racket

1d6. A Racket implementation of the Troll dice-rolling language

uri-template. URI Template (RFC 6570) for Racket

ce-el. Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy

tptp4mizar. Theories in proofs, in TPTP and Mizar

texweb. A web server for processing documents with TeX and friends

json-pointer. Racket implementation of a JSON Pointer evaluator (RFC 6901)

hunchentoot-utils. A collection of utilities for making websites with the hunchentoot web server

sturgis. Commandline web browser

xslutils. Utilities for working with XSL files.

finkinfo. My fink work

lean-decimals. Implementation & verification of exact decimal arithmetic in Lean 4

tptp-el. Work with TPTP files, theorem provers, and model finders

mizar-parser. Services for parsing Mizar texts

lint-llm-proofs. Lean 4 linters for LLM-generated proof patterns

my-git. A home for all my exploratory git code

xsl4tptp. Working with the XML forms of TPTP problems

fink-mode. Editing Fink package description files in Emacs

rhtml5. Racket implementation of the HTML5 parsing algorithm.

object-theory. Working with object theory, computationally

ansel. A World of Warcraft screenshot addon to rule them all.

bozeman. XSLT for Racket

dotemacs. My .emacs configuration

cslib-urm. Lean 4 formalization of Unlimited Register Machines for CSLib