Search Results for "gnu-efi"
Sort By:
Showing 5 open source projects for "gnu-efi"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
This project documents the development of a suite of ns2 grid network simulators that was done as part of the EC-GIN project. The aim is to refine and develop these simulators to provide input to the larger ns2 and grid simulation community.
-
2
KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.
-
3
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
-
4
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
A canvas (and other dev utilities) for dataflow software. Contains also a minimal implementation of a dataflow environment in Tcl.
- Previous
- You're on page 1
- Next
