Skip to content
@lurchmath

The Lurch Project Development Site

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

Popular repositories Loading

  1. lde lde Public

    The Lurch Deductive Engine (LDE)

    JavaScript 5 4

  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 29 repositories
  • 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 Dec 10, 2024
  • lurchmath.github.io Public

    Website for the Lurch Project.

    lurchmath/lurchmath.github.io’s past year of commit activity
    HTML 0 1 0 0 Updated Nov 30, 2024
  • 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 12 0 0 Updated Aug 5, 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 12 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 12 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 12 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 12 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
  • lde Public

    The Lurch Deductive Engine (LDE)

    lurchmath/lde’s past year of commit activity
    JavaScript 5 4 0 1 Updated Jun 18, 2024
  • lab Public Forked from lurchmath/lde

    The Validation Algorithm used by Lurch (and Related Tools)

    lurchmath/lab’s past year of commit activity
    JavaScript 0 4 0 0 Updated Jun 17, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…