typo, for programs and proofs Files

Status: Planning

Brought to you by: jburdick

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

Name	Modified	Size	InfoDownloads / Week
typo 0.01	2002-01-29		0
Totals: 1 Item			0

Other Useful Business Software

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Discrete Event Calculus Reasoner
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
qbasic.net
This is a Windows QBasic emulator for Windows. It is suposed to run and build qbasic code. It can build/execute old qbasic code (currently in constructions) Version 0.1 has been released: New commands and lots of bugs removed.
wxChaos
An interactive fractal explorer
Braitenberg Vehicle Simulator
This project simulates some of the simpler Braitenberg vehicles. These vehicles demonstrate that simple constructions can lead to complex behavior. It also allows vehicle attributes to be configured.
libmx
A framework for dealing with lambda calculus expressions.