Search Results for "open ports check"

Free Student Information System designed for school management. Modules included: - School Setup - Students (demographics, contacts...) - Grades - Scheduling - Eligibility - Attendance - Accounting - Student Billing - Discipline - Food Service Add-ons like Messaging, Email, Import tools, Quiz, Library modules and much more are available. Manage your school in one web-application powered by PHP/SQL (MySQL or PostgreSQL). RosarioSIS is multilingual and offers Moodle...

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.