Dominoes on Acid Files

Brought to you by: mbenkmann

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
2009.12.22	2009-12-23	5
2002.07.06	2009-12-22	0
Totals: 2 Items		5

You Might Also Like

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

Jape
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational...
Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Chryzodus, a chryzode explorer
Chryzodus is a chryzode renderer using Allegro graphics library. Chryzodes are mathematically rendered images which are graphical representations of mathematical operations and relations between numbers. This is a proof maths can be incredibly beautiful !
Mahjongg Solitaire
Classic Mahjongg Solitaire with a few handy features to fun gameplay. (Requires Java).
RODIN
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Dominoes on Acid Files

Get an email when there's a new version of Dominoes on Acid