The Lurch Project

A word processor that can check the steps of students' proofs

Pinned Repositories

cloud-storage
A JavaScript library to make cloud storage easy for editor apps
Language:JavaScript2 3 00
earley-parser
JavaScript implementation of the Earley parsing algorithm
Language:JavaScript1 3 13
lde
The Lurch Deductive Engine (LDE)
Language:JavaScript5 4 04
loadsave-plugin
A Load/Save Plugin for TinyMCE, using the browser's LocalStorage as a filesystem
Language:CoffeeScript1 3 00
lurch-desktop-deprecated
This repo is deprecated. See the lurch repo instead.
Language:CoffeeScript13
lurchmath
2023 version of web UI
Language:JavaScript3 2 21
lwp-example-complex
Second example built on the Lurch Web Platform
Language:CoffeeScript00
lwp-example-sidebar
Example application with a sidebar, built on the Lurch Web Platform
Language:JavaScript0 3 00
lwp-example-simple
Simple example built on the Lurch Web Platform
Language:CoffeeScript01
openmath-js
Implementation of (most of) the OpenMath Standard in JavaScript
Language:JavaScript4 3 62

The Lurch Project's Repositories

lurchmath/lde
The Lurch Deductive Engine (LDE)
Language:JavaScript5 4 04
lurchmath/openmath-js
Implementation of (most of) the OpenMath Standard in JavaScript
Language:JavaScript4 3 62
lurchmath/lurchmath
2023 version of web UI
Language:JavaScript3 2 21
lurchmath/cloud-storage
A JavaScript library to make cloud storage easy for editor apps
Language:JavaScript2 3 00
lurchmath/earley-parser
JavaScript implementation of the Earley parsing algorithm
Language:JavaScript1 3 13
lurchmath/loadsave-plugin
A Load/Save Plugin for TinyMCE, using the browser's LocalStorage as a filesystem
Language:CoffeeScript1 3 00
lurchmath/lurch
Lurch is a math editor that can check your proofs!
Language:JavaScript16
lurchmath/lurch-desktop-deprecated
This repo is deprecated. See the lurch repo instead.
Language:CoffeeScript13
lurchmath/fic-experiment
Tests of the Lurch design team's FIC deduction ideas
Language:JavaScript0 3 00
lurchmath/first-order-matching
A limited JavaScript implementation of a matching algorithm for expressions of first-order logic
Language:CoffeeScript00
lurchmath/lurchmath.github.io
Website for the Lurch Project.
Language:HTML01
lurchmath/lwp-example-complex
Second example built on the Lurch Web Platform
Language:CoffeeScript00
lurchmath/lwp-example-lean
Example Lean Prover application built on the Lurch Web Platform
Language:HTML01
lurchmath/lwp-example-sidebar
Example application with a sidebar, built on the Lurch Web Platform
Language:JavaScript0 3 00
lurchmath/lwp-example-simple
Simple example built on the Lurch Web Platform
Language:CoffeeScript01
lurchmath/mediawiki-extensions-HTMLTags
A few tweaks to the MediaWiki extension HTMLTags for use on a Lurch wiki
Language:PHP00
lurchmath/mediawiki-scripts
JavaScript extensions to the MediaWiki UI for use with Lurch
Language:JavaScript00
lurchmath/nine-to-five
Imitate WebWorkers in Node
Language:JavaScript0 2 00
lurchmath/quill-test
Experimenting with Quill for Lurch purposes
Language:JavaScript0 2 00
lurchmath/second-order-matching
An implementation of the Huet-Lang algorithm in JavaScript
Language:JavaScript01
lurchmath/cust-parse-test
Test repository for new customizable parsing tools
Language:JavaScript
lurchmath/example-lurch-site
A small example of how to create a Lurch Site
Language:JavaScript
lurchmath/intro-tutorial
A tutorial for users brand new to Lurch
Language:JavaScript
lurchmath/lab
The Validation Algorithm used by Lurch (and Related Tools)
Language:JavaScript
lurchmath/lwp-example-math
Mathematical example built on the Lurch Web Platform
Language:JavaScript
lurchmath/lwp-example-openmath
Example OpenMath application built on the Lurch Web Platform
Language:CoffeeScript
lurchmath/minimal-lurch-site
Minimal subset of the Lurch tools needed to run a Lurch Site
Language:JavaScript1
lurchmath/test-demo-site
Lurch is a math editor that can check your proofs!
Language:JavaScript