Toss download | SourceForge.net

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.

Project Samples

Project Activity

See All Activity >

License

BSD License, GNU General Public License version 2.0 (GPLv2)

Follow Toss

Toss Web Site

Other Useful Business Software

$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

Rate This Project

User Reviews

Be the first to post a review of Toss!

Additional Project Details

Languages

English

Intended Audience

Education, Science/Research

User Interface

Web-based

Programming Language

JavaScript, OCaml (Objective Caml)

Database Environment

SQLite

Related Categories

OCaml (Objective Caml) Games, OCaml (Objective Caml) Scientific Engineering, OCaml (Objective Caml) Education Software, OCaml (Objective Caml) Computer Aided Instruction (CAI) Software, JavaScript Games, JavaScript Scientific Engineering, JavaScript Education Software, JavaScript Computer Aided Instruction (CAI) Software

Registered

2004-07-28

Similar Business Software

Mentornity

Mentornity is mentoring and coaching program software for organizations that run structured programs and need to show what came of them. It covers the full cycle: enrolment, matching, scheduling, session tracking, feedback and reporting. Each program runs under its own branding and its own...

See Software
Synap

Synap is an award-winning exam platform that empowers organisations to deliver secure, online exams with ease. Save time and reduce your workload for creating, marking, and analysing exams. Customise your tests with multiple-choice and written question types, timers, randomisation, and...

See Software
Titan

Build the forms, portals, documents, eSignatures, surveys, and workflows your business needs while keeping Salesforce at the center of it all. Titan brings these experiences into a single Salesforce-first platform, with data connected to Salesforce in real time rather than creating another place...

See Software
Bookinglayer

Bookinglayer is a booking and management platform built specifically for retreat centers, surf camps, outdoor operators, and wellness or boutique properties sell accommodation and activities together. No hotel PMS was built to sell nights in a room, with no way to schedule a lesson, cap a group...

See Software
TelemetryOS

TelemetryOS is a vertically integrated platform for connected screens, kiosks, and screen applications. Purpose-built Node hardware, a hardened Edge operating system, Studio cloud, an integrated video CDN, and an application runtime work together so every display can show the right content,...

See Software
CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software