Skip to content
@lurchmath

The Deprecated Lurch Project Development Site

See https://lurch.plus for the official project site.
README.md

This project has moved. See lurch.plus for the new home of the Lurch project.

Popular repositories Loading

  1. lde lde Public

    The Lurch Deductive Engine (LDE)

    JavaScript 5 5

  2. openmath-js openmath-js Public

    Implementation of (most of) the OpenMath Standard in JavaScript

    JavaScript 4 2

  3. lurchmath lurchmath Public

    2023 version of web UI

    JavaScript 3 1

  4. cloud-storage cloud-storage Public

    A JavaScript library to make cloud storage easy for editor apps

    JavaScript 2

  5. earley-parser earley-parser Public

    JavaScript implementation of the Earley parsing algorithm

    JavaScript 1 3

  6. lurch-desktop-deprecated lurch-desktop-deprecated Public

    This repo is deprecated. See the lurch repo instead.

    CoffeeScript 1 3

Repositories

Showing 10 of 30 repositories
  • .github Public
    lurchmath/.github’s past year of commit activity
    0 0 0 0 Updated Nov 15, 2025
  • lde Public

    The Lurch Deductive Engine (LDE)

    lurchmath/lde’s past year of commit activity
    JavaScript 5 5 0 4 Updated Nov 15, 2025
  • lurch-deprecated Public

    One of many prototype repositories used in development.

    lurchmath/lurch-deprecated’s past year of commit activity
    JavaScript 0 0 0 0 Updated Sep 27, 2025
  • intro-tutorial Public Forked from lurchmath/minimal-lurch-site

    A tutorial for users brand new to Lurch

    lurchmath/intro-tutorial’s past year of commit activity
    JavaScript 0 24 0 0 Updated Jan 14, 2025
  • lurchmath.github.io Public

    Website for the Lurch Project.

    lurchmath/lurchmath.github.io’s past year of commit activity
    HTML 0 2 0 0 Updated Nov 30, 2024
  • math299spring2024 Public Forked from lurchmath/minimal-lurch-site

    An archive of the content from Ken Monks's Math 299 course in Spring 2024

    lurchmath/math299spring2024’s past year of commit activity
    JavaScript 0 24 0 0 Updated Aug 5, 2024
  • minimal-lurch-site Public Forked from kenmonks/lurch

    Minimal subset of the Lurch tools needed to run a Lurch Site

    lurchmath/minimal-lurch-site’s past year of commit activity
    JavaScript 0 24 0 0 Updated Aug 2, 2024
  • example-lurch-site Public Forked from kenmonks/lurch

    A small example of how to create a Lurch Site

    lurchmath/example-lurch-site’s past year of commit activity
    JavaScript 0 24 0 0 Updated Jul 29, 2024
  • test-demo-site Public Forked from kenmonks/lurch

    Lurch is a math editor that can check your proofs!

    lurchmath/test-demo-site’s past year of commit activity
    JavaScript 0 24 0 0 Updated Jul 24, 2024
  • lurchmath Public

    2023 version of web UI

    lurchmath/lurchmath’s past year of commit activity
    JavaScript 3 1 0 0 Updated Jun 27, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…