The Deprecated Lurch Project Development Site

Skip to content

Navigation Menu

Sign in

Appearance settings

@lurchmath

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. Implementation of (most of) the OpenMath Standard in JavaScript

    JavaScript 4 2

  3. 2023 version of web UI

    JavaScript 3 1

  4. A JavaScript library to make cloud storage easy for editor apps

    JavaScript 2

  5. JavaScript implementation of the Earley parsing algorithm

    JavaScript 1 3

  6. This repo is deprecated. See the lurch repo instead.

    CoffeeScript 1 3

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 30 repositories

  • openmath-js Public

    Implementation of (most of) the OpenMath Standard in JavaScript

    lurchmath/openmath-js’s past year of commit activity

    JavaScript

    4 2 4 13

    Updated Mar 2, 2026

  • lde Public

    The Lurch Deductive Engine (LDE)

    lurchmath/lde’s past year of commit activity

    JavaScript

    5 5 0 5

    Updated Jan 21, 2026

  • lurchmath/.github’s past year of commit activity

    0 0

    0 0

    Updated Nov 15, 2025

  • lurchmath/lurch-deprecated’s past year of commit activity

    JavaScript 0 0

    0 0

    Updated Sep 27, 2025

  • lurchmath/intro-tutorial’s past year of commit activity

    JavaScript 0

    25 0 0

    Updated Jan 14, 2025

  • lurchmath/lurchmath.github.io’s past year of commit activity

    HTML 0

    2 0 0

    Updated Nov 30, 2024

  • lurchmath/math299spring2024’s past year of commit activity

    JavaScript 0

    25 0 0

    Updated Aug 5, 2024

  • lurchmath/minimal-lurch-site’s past year of commit activity

    JavaScript 0

    25 0 0

    Updated Aug 2, 2024

  • lurchmath/example-lurch-site’s past year of commit activity

    JavaScript 0

    25 0 0

    Updated Jul 29, 2024

  • lurchmath/test-demo-site’s past year of commit activity

    JavaScript 0

    25 0 0

    Updated Jul 24, 2024

Most used topics

Loading…