Qi Libraries

web log free

Library Index

Editors

Package	Description	Documentation	Contributor	Email
Qi-Emacs.zip	Emacs configured for Qi syntax; GPL license v 2.	Volunteer needed to doc this.	Mark Tarver	Note: this software was written by Michael Ilseman and JT Gleason, not Mark Tarver. Hence emails about it should be referred to qilang.
Notepad2.zip	Enhanced version of Notepad for Windows with highlighting and bracket balancing.	With package.	Mark Tarver	Note: this software was written by a third party.

Error Handling

Package	Description	Documentation	Contributor	Email
CLErrors.zip	Type secure Qi error handling defined using CL condition package	CLErrors	Mark Tarver	dr.mtarver@ukonline.co.uk

Graphics

Package	Description	Documentation	Contributor	Email
Qitk2009.zip	Type secure interface to TCL/tk. Version 1.01. Runs under CLisp for Windows.	Qi Tk 2009 manual in pdf	Mark Tarver	dr.mtarver@ukonline.co.uk
TCL/tk installer	Installer for TCL/tk for Windows - you need this for Qi/tk. Or else go to the TCL/tk home page.	Online with application after installation.	_	TCL/tk support
whist.zip	whist demo program for Qi/tk	Online with application after installation.	Mark Tarver	dr.mtarver@ukonline.co.uk

Logic

Download	Description	Documentation	Contributor	Email
martin-lof.zip	Constructive Type Theory; TT₀ from Per Martin-Lof. Uses PASS. See below.	martin-lof.pdf	Mark Tarver	dr.mtarver@ukonline.co.uk
PASS.zip	PASS. Simple proof assistant as described in chapter 15 of FPQi.	see page311 and after	Mark Tarver	dr.mtarver@ukonline.co.uk
tableau.zip	Basic complete tableau ATP for FOL without equality, as described in chapter 15 of FPQi.	see page337 and after	Mark Tarver	dr.mtarver@ukonline.co.uk

Mathematics

Download	Description	Documentation	Contributor	Email
maths.zip	Maths functions mirroring the C++ basic maths library; includes trigonometric functions and logs.	in file	Willi Riha	w.riha@ntlworld.com

Object Oriented

Download	Description	Documentation	Contributor	Email
ThinCL.zip	This is not CLOS: a simple type secure class system with multiple inheritance and defaults	ThinCL	Mark Tarver	dr.mtarver@ukonline.co.uk

Pattern Matching

Download	Description	Documentation	Contributor	Email
seg.zip	Segment pattern matcher plug-in for Qi-YACC.	readme	Mark Tarver	dr.mtarver@ukonline.co.uk

String and Character Handling

Package	Description	Documentation	Contributor	Email
CLStrings1.0.zip	Qi wrapper for CL functions for string and character handling	CLStrings	Mark Tarver	dr.mtarver@ukonline.co.uk

Syntactic Sugar

Package	Description	Documentation	Contributor	Email
http://www.c-lambda.se/qistuff/simple.tar.gz	Infix operators for set theory	http://www.c-lambda.se/qistuff/simple-operators.html	Stefan	stefan.tampe@spray.se

Mark

Copyright (c) 2008, Mark Tarver
dr.mtarver@ukonline.co.uk