The Lurch Project's repositories
openmath-js
Implementation of (most of) the OpenMath Standard in JavaScript
cloud-storage
A JavaScript library to make cloud storage easy for editor apps
earley-parser
JavaScript implementation of the Earley parsing algorithm
loadsave-plugin
A Load/Save Plugin for TinyMCE, using the browser's LocalStorage as a filesystem
lurch-desktop-deprecated
This repo is deprecated. See the lurch repo instead.
fic-experiment
Tests of the Lurch design team's FIC deduction ideas
first-order-matching
A limited JavaScript implementation of a matching algorithm for expressions of first-order logic
lwp-example-complex
Second example built on the Lurch Web Platform
lwp-example-lean
Example Lean Prover application built on the Lurch Web Platform
mediawiki-extensions-HTMLTags
A few tweaks to the MediaWiki extension HTMLTags for use on a Lurch wiki
mediawiki-scripts
JavaScript extensions to the MediaWiki UI for use with Lurch
nine-to-five
Imitate WebWorkers in Node
quill-test
Experimenting with Quill for Lurch purposes
second-order-matching
An implementation of the Huet-Lang algorithm in JavaScript
cust-parse-test
Test repository for new customizable parsing tools
lab
The Validation Algorithm used by Lurch (and Related Tools)
lurchmath.github.io
Website for the Lurch Project.
lwp-example-math
Mathematical example built on the Lurch Web Platform
lwp-example-openmath
Example OpenMath application built on the Lurch Web Platform
lwp-example-sidebar
Example application with a sidebar, built on the Lurch Web Platform
lwp-example-simple
Simple example built on the Lurch Web Platform