Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.
Read more
Category: Scientific
F* – general-purpose, proof-oriented programming language
F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.
Read more
PVS – specification and verification system
PVS is a specification and verification system that combines an expressive specification language with support tools and an interactive theorem prover.
Read more
LISA (LISA Is Sets Automated) – proof assistant
LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.
Read more
Lambdapi – interactive proof assistant
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
HOL Light – interactive theorem prover
HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.
Read more
HOL4 – interactive theorem prover
HOL4 is an interactive theorem prover for classical higher-order logic. It provides a platform for formalising mathematics.
Read more
5 Best Free AI Watermark Remover Tools
Compare the best free AI watermark remover tools for your own videos and images, including Zawa, AniEraser, Apowersoft, Vmake and Wink.
Read more
Increasing Lab Efficiency with an Open Source LIMS
A Laboratory Information Management System (LIMS) is a software-based laboratory and information management system that provides streamlined workflow automation and management.
Read more
OpenSpecimen – biobank and biospecimen management platform
OpenSpecimen is a biobank and biospecimen management platform for biorepositories and research organisations.
Read more
20 Best Free and Open Source Linux Medical Imaging Software
Medical imaging is an essential, non-invasive, routine activity performed by radiographers and radiologic technologists.
Read more
ITK-SNAP – multi-platform medical image segmentation application
ITK-SNAP is a multi-platform medical image segmentation application for working with 3D and 4D biomedical image data.
Read more
MITK – Medical Imaging Interaction Toolkit
MITK is a C++ toolkit and application framework for developing interactive medical image processing software.
Read more
24 Best Free and Open Source Linux Physics Tools
This article focuses on selecting the best open source software for physics and physics education. Hopefully there will be something for interest here for all budding physicists.
Read more
Orthanc – lightweight DICOM server
Orthanc is a lightweight DICOM server designed for healthcare environments and medical research.
Read more
21 Top Free and Open Source Python Natural Language Processing Tools
Natural language processing (NLP) is an exciting field of computer science, artificial intelligence, and computational linguistics.
Read more
21 Best Free and Open Source Python Visualization Packages
Python has a fantastic range of packages to produce mesmerizing visualizations. We recommend the best free and open source Python tools.
Read more
Presidio – data protection and de-identification SDK
Presidio is a data protection and de-identification SDK that helps developers detect and transform personally identifiable information
Read more
OHIF Viewer – browser-based medical imaging viewer
OHIF Viewer is a browser-based medical imaging viewer designed for clinical imaging, research, and web deployment.
Read more
DualSPHysics – Smoothed Particle Hydrodynamics solver
DualSPHysics is a Smoothed Particle Hydrodynamics solver designed for modelling free-surface flow phenomena.
Read more