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

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.

Try 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
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software
Bookinglayer

Retreat centers, surf camps, outdoor operators, and wellness or boutique properties sell accommodation and activities together, but a hotel PMS was built to sell nights in a room, with no way to schedule a lesson, cap a group size, or bundle a treatment into a stay. Operators end up running a...

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