Search Results for "linux-tools" - Page 6
Sort By:
Showing 209 open source projects for "linux-tools"
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.
-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
1
-
2
Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
-
3
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
-
4
Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
-
6
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
-
7
The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
-
8
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
9
The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
Inspiring Operating System replaces Windows 8, Vista, XP and Mac OS X. (Are you tired of nasty viruses, worms, trojans, rootkits, dialers, spyware, and malware?). If so, make a smart move and get a newbie friendly free Linux Operating System today!
-
11
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
-
12
-
13
-
14
An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
-
15
An other connect4 written in Ada using GtkAda, main language is French. An Artificial Intelligence is provided, you can play against the computer. Un autre Puissance4 écrit en Ada s'appuyant sur GtkAda. Il est pourvu d'une Intelligence Artificielle.
-
16
-
17
A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
-
18
This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
-
19
-
20
BlackBox Master is a reasoning game. The player fires electrons into the "Black Box" and tries to deduce where the Atoms are, based on where the electrons come out if they do.
-
21
In CouleursetSons game in Ada, the player must reproduce a sequence of colors associated to sounds . Dans ce jeux CouleursetSons en Ada, le joueur doit reproduire une sequence de couleurs associees a des sons.
-
22
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
-
23
FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
-
24
-
25
The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
