Search Results for "gnu/linux"
Sort By:
Showing 5 open source projects for "gnu/linux"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.
-
2
This project provides cross-forge semantic search for the Qualipso Forge. It integrates A4 AdvDoc prototype (semantic search GUI and engine) with A3 homogeneous and heterogeneous cross-forge semantic search capabilities. See Qualipso.org for details
-
3
Visualgos is a collection of visualizations for algorithms written in Flash. You can see all of the visualizations on http://yuval.bar-or.org/index.php?item=7
-
4
The Mobile Autonomous Robot Simulation Framework assists in building the applications to simulate an Autonomous Mobile Robot, its interaction with the environment, behaviors and also its sensors, actuators and locomotion mechanism.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
- Previous
- You're on page 1
- Next
