Skip to content

@lurchmath The Lurch Project

Change the repository type filter

All

    Repositories list

    29 repositories

    • lurch

      Public
      Lurch is a math editor that can check your proofs!
      JavaScript
      •9•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • intro-tutorial

      Public
      A tutorial for users brand new to Lurch
      JavaScript
      •9•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • math299spring2024

      Public
      An archive of the content from Ken Monks's Math 299 course in Spring 2024
      JavaScript
      •9•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • lurchmath.github.io

      Public
      Website for the Lurch Project.
      HTML
      •1•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • minimal-lurch-site

      Public
      Minimal subset of the Lurch tools needed to run a Lurch Site
      JavaScript
      •9•0•0•0•Updated Aug 2, 2024Aug 2, 2024

    • example-lurch-site

      Public
      A small example of how to create a Lurch Site
      JavaScript
      •9•0•0•0•Updated Jul 29, 2024Jul 29, 2024

    • test-demo-site

      Public
      Lurch is a math editor that can check your proofs!
      JavaScript
      •9•0•0•0•Updated Jul 24, 2024Jul 24, 2024

    • lurchmath

      Public
      2023 version of web UI
      JavaScript
      •1•3•0•0•Updated Jun 27, 2024Jun 27, 2024

    • lde

      Public
      The Lurch Deductive Engine (LDE)
      JavaScript
      •4•5•0•1•Updated Jun 18, 2024Jun 18, 2024

    • lab

      Public
      The Validation Algorithm used by Lurch (and Related Tools)
      JavaScript
      •4•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • cust-parse-test

      Public
      Test repository for new customizable parsing tools
      JavaScript
      •0•0•0•0•Updated May 17, 2024May 17, 2024

    • first-order-matching

      Public
      A limited JavaScript implementation of a matching algorithm for expressions of first-order logic
      CoffeeScript
      •0•0•1•0•Updated Jan 25, 2024Jan 25, 2024

    • lurch-desktop-deprecated

      Public
      This repo is deprecated. See the lurch repo instead.
      CoffeeScript
      •3•1•0•0•Updated Jan 25, 2024Jan 25, 2024

    • quill-test

      Public
      Experimenting with Quill for Lurch purposes
      JavaScript
      •0•0•0•0•Updated Jun 20, 2023Jun 20, 2023

    • earley-parser

      Public
      JavaScript implementation of the Earley parsing algorithm
      JavaScript
      •3•1•1•0•Updated Apr 25, 2023Apr 25, 2023

    • second-order-matching

      Public
      An implementation of the Huet-Lang algorithm in JavaScript
      JavaScript
      •1•0•0•12•Updated Jan 4, 2023Jan 4, 2023

    • openmath-js

      Public
      Implementation of (most of) the OpenMath Standard in JavaScript
      JavaScript
      •2•4•4•12•Updated Jan 4, 2023Jan 4, 2023

    • fic-experiment

      Public
      Tests of the Lurch design team's FIC deduction ideas
      JavaScript
      •0•0•0•1•Updated Dec 30, 2022Dec 30, 2022

    • nine-to-five

      Public
      Imitate WebWorkers in Node
      JavaScript
      •0•0•0•4•Updated Dec 30, 2022Dec 30, 2022

    • lwp-example-sidebar

      Public
      Example application with a sidebar, built on the Lurch Web Platform
      JavaScript
      •0•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • lwp-example-lean

      Public
      Example Lean Prover application built on the Lurch Web Platform
      HTML
      •1•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • lwp-example-openmath

      Public
      Example OpenMath application built on the Lurch Web Platform
      CoffeeScript
      •0•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • lwp-example-complex

      Public
      Second example built on the Lurch Web Platform
      CoffeeScript
      •0•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • lwp-example-math

      Public
      Mathematical example built on the Lurch Web Platform
      JavaScript
      •0•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • lwp-example-simple

      Public
      Simple example built on the Lurch Web Platform
      CoffeeScript
      •1•0•0•0•Updated Oct 17, 2018Oct 17, 2018

    • loadsave-plugin

      Public
      A Load/Save Plugin for TinyMCE, using the browser's LocalStorage as a filesystem
      CoffeeScript
      •0•1•0•0•Updated Oct 17, 2018Oct 17, 2018

    • cloud-storage

      Public
      A JavaScript library to make cloud storage easy for editor apps
      JavaScript
      •0•2•0•0•Updated Oct 17, 2018Oct 17, 2018

    • mediawiki-scripts

      Public
      JavaScript extensions to the MediaWiki UI for use with Lurch
      JavaScript
      •0•0•0•0•Updated Oct 30, 2017Oct 30, 2017

    • mediawiki-extensions-HTMLTags

      Public
      A few tweaks to the MediaWiki extension HTMLTags for use on a Lurch wiki
      PHP
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Oct 30, 2017Oct 30, 2017