Top 15 Isabelle Alternative and Similar Softwares | Dec 2024

1. Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing...... TpSort Score | 103,000

2. Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows programming with proofs of correctness for the code, and dependent types....... TpSort Score | 682,000

3. F*

F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness properties. The F* type-checker aims to...... TpSort Score | 50,000,000

4. fxSolver

Online math solver, equation library, graphing calculator and science/engineering problem helper.Calculate multiple equations at once, Compute large numbers of values, Plot graphs, Link your results, Solve full problems and Share worksheets with your friends.fxSolver is a free tool developed by a team of engineers and programmers with the sole intention...... TpSort Score | 28,500,000

5. Online Function Grapher

Interactive 2D Function Plotter and Graphing Calculator...... TpSort Score | 42,300,000

6. PSPP

PSPP is a free software application for analysis of sampled data. It has a graphical user interface and conventional command line interface. It is written in C, uses GNU Scientific Library for its mathematical routines, and plotutils for generating graphs. It is intended as a free replacement of the proprietary...... TpSort Score | 11,900,000

7. Derive

Derive 6.1: Powerful system for doing symbolic and numeric mathematics. This application is no longer available or supported....... TpSort Score | 2,660,000

8. VisSim

VisSim™ is a visual language for modeling and simulating nonlinear dynamic systems. With 9 integration methods, 4 optimization methods and over 200 vector and scalar block functions....... TpSort Score | 81,600

9. Statistical Calculations

Statistical Calculations app helps you to calculate easy many different types of Qualitative and Quantitative data.> Risk Difference> Absolute Value> Adjusted R Squared (Population R-Squared)> Altman Z Score Business Bankruptcy> Bayes Theorem (Bayesian)> Bonferroni Correction> Camarilla Intraday Trading Equation> Cp And Cpk> Effect Size, Cohen's d Calculation for T...... TpSort Score | 149,000,000

10. Autograph

Autograph is a dynamic PC program operating in 3 modes:1D - Statistics & Probability2D - Graphing, coordinates, transformations and bivariate data 3D - Graphing, coordinates and transformations...... TpSort Score | 763,000

11. OpalCalc

OpalCalc is a brand new type of calculator for the PC. As easy to use as Notepad or a word processor, OpalCalc allows natural language in the sum and multi-line support so you can go back and adjust your previous calculations on the fly.For years, PC calculators have been trying...... TpSort Score | 186,000,000

12. Arity

Arity is a calculator app that's fast and simple to use, and powerful. Features: open source (Apache 2). tiny (2K SLOC and 50KB binary) user defined functions and variables complex numbers basic function graphing...... TpSort Score | 186,000,000

13. TTCalc

TTCalc is an open source bignum mathematical calculator. It features arithmetical functions, trigonometric functions, inverse trigonometric functions, hyperbolic functions, inverse hyperbolic functions, logical operators, logarithms, functions for converting between degrees and radians and so on. Additionally the program allows a user to define his own variables and functions.The program possesses...... TpSort Score | 186,000,000

14. NaSC

Its an app where you do maths like a normal person. It lets you type whatever you want and smartly figures out what is math and spits out an answer on the right pane. Then you can plug those answers in to future equations and if that answer changes, so...... TpSort Score | 3,420,000

15. Console Calculator

Console Calculator is a powerful calculator with a simple console interface. This calculator supports many built-in mathematical functions, remembers recent entries, supports creation of user defined variables and custom functions. This calculator has features that programmers or engineers will love, such as unit conversion, binary, and hexadecimal base conversion. The...... TpSort Score | 90,100,000