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

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

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

20-sim

20-sim is a modeling and simulation software package for mechatronic systems. With 20-sim you can enter models graphically, similar to drawing an engineering scheme. With these models, you can simulate and analyze the behavior of multi-domain dynamic systems and create control systems. You can...

See Software
Simile

Simulistics develops and distributes Simile, modelling and simulation software for complex dynamic systems in the earth, environmental and life sciences. We use unique logic-based declarative modelling technology to represent the interactions in these systems in a clearly structured, visually...

See Software
Docubee

Docubee is an intelligent contract automation platform that allows you to quickly and painlessly generate, manage, share, and sign contracts. Featuring powerful conditional logic-based workflows, generative AI technology, and an easily adaptable interface, Docubee makes it easy to automate your...

See Software
MyDraw

MyDraw is one of the most advanced diagramming and vector graphics drawing tools available today. MyDraw is an easy, affordable yet powerful tool that can help you create a large number of diagrams including flowcharts, organizational charts, mind maps, infographics, network diagrams, floor...

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
YouTestMe

A web-based enterprise application for multi-lingual examination, training, survey & certification with an extensive reporting module. As a highly secured system that can be accessed both on cloud or on-premise, YouTestMe is the best choice for government, business & education institutions....

See Software