Lurch - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Lurch	2014-04-03	1
Toy Proofs	2013-02-04	0
Lurch Lite	2010-09-22	1
OldFiles	2009-03-20	0
Totals: 4 Items		2

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Try Free

Recommended Projects

Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
RODIN
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Tibi's Mathematics Suite
A suite of useful mathematical applications.
Myrtle
A simple programmable spreadsheet for learning statistics.
The Number Race
Software designed for remediation of dyscalculia (or mathematical learning disabilities) in children aged 4-8 and for teaching number sense in kindergarten children. For more information, visit the unicog lab website using the link below. NOTE: To use The Number Race, you may need to download TWO files, the main program (above), AND a language pack. To get to the language packs, click on "Files" on the menu bar above, and select version and the appropriate language. If you are lucky there might be an installer + language pack available as one download. Check "Files" -> version -> Language

Lurch Files