Assistant for generating Natural Deduction style proofs
This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses.
Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
BrumTab is a scoring and management system for Inter-Varsity British Parliamentary Debating Competitions (IVs). It allocates teams to debates (power-pairing), records scores, prints result sheets and all with a minimum of technical jargon.
This project is the result of an effort by NITLE ( http://www.nitle.org/) to integrate Marratech e-meeting functionality (via the public, exposed Java API) into the Moodle ( http://moodle.org/ ) OSS Learning Management System.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
The Ludwig system is a combined tutoring and assessment system written mainly in PHP and using a MySQL database. It is intended for elementary programming classes. Ludwig was developed at Penn State as the result of a Software Design class.