Search Results for "software"
Sort By:
Showing 4 open source projects for "software"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
-
3
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
-
4
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
- Previous
- You're on page 1
- Next
