Metal and Money is a puzzle game involving acquiring items, meeting people, using their services. Its design goal was this: Playing M&M mirrors the activity of doing proofs in intuitionistic propositional logic. (Isn't that fascinating!?)
VisualMaths is a 2D curve drawing program (3D and dynamic curves not yet available). User defines objects (functions,variables,arrays) and assign each object to a curve and an axis. VisualMaths also provides some graphic solvers : minima, maxima.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
A program that analyzes info about an automotive engine, and wanted power increase in horsepower and the program helps give the user a possible turbocharger that satisfies the requirements.
PyLife is an implementation of the game of life algorithm featuring parallel programming. It uses MPI and python to achieve a consistent software architecture and reliably performance.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
REctangular (BEta) Cylindrical Coordinates App 2.0: "RebeCCa2" The problem, which we're interested in: How does the 'potential lines' look for the Laplace operator in a non-spherical geometry? -Can we possibly fit with an analytical expression in 2D
This Tiny Vector and Matrix template library uses Meta and Expression Templates to evaluate results at compile time, thus making it fast for low-end systems. Temporaries are avoided because of this. The dimensions are static and bounded at compile time.
Class library for performing geometric constructions in 2D and 3D with Postscript output.
Easy to learn for C++ programmers. Easy parametrizing of figures.
ChaosExplorer is a C++ QT project developed to give users the ability to investigate fractals, attractors, bifurcations and other chaotic functions. The program's focus is on freedom to manipulate any possible parameter.
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Implementation of an Interval Iterative Closest Point that uses intervals to found the global optimal solution. ICP can be used in vision technologies and photogrametry as pattern mathcing and as geometrical model finder.
The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.
This is an implementation of the Granular Neural Network architecture defined by S. Dick, A. Tappenden, C. Badke, O. Olarewaju. It is provided for the use of the public, and the convenience of researchers who may wish to develop or use this new system.
A Roman Numeral Calculator. Ratio Mercatoris (formerly Ratiocinator) is a calculator program using Roman Numerals. Also, has built-in Financial and Scientific (Ancient Rome) functions.
Hypergherkin is a library for the manipulation of Real valued algebra expressions including equation simplification, symbolic integrals & derivatives. Workings can be rendered using the default presentation MathML generator or a custom alternative