Search Results for "gnu science"
Sort By:
Showing 76 open source projects for "gnu science"
View related business solutions-
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.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
Classic HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
2
Integrated packet generator and sniffer for Ethernet, but also works with blocks of data over TCP connection. Enables you to use scripts for automated testing, monitoring, imitating of various network objects, creating custom network tools.
-
3
SystemC Network Simulation Library (SCNSL) is an extension of SystemC to allow modelling packet-based networks such as wireless networks, ethernet, fieldbus, etc. As done by basic SystemC for signals on the bus, SCNSL provides primitives to model packet trasmission, reception, contention on the channel and wireless path loss. The use of SCNSL allows the easy and complete modelling of distributed applications of networked embedded systems such as wireless sensor networks, routers, and...
-
4
FAST Simulations
An Open source Analysis and SImulation Toolbox for Fuel Cells
FAST is an Analysis and Simulation Toolbox (FAST) for Fuel Cells (FC) FAST-FC is the doctorate work of David B. Harvey and was developed with support from the U.S. DOE, Ballard, and Queen's University. Derivative works of FAST-FC include FC-APOLLO which is a forked branch of this project intended to capture the code state at the exit of the funded DOE project. FAST-FC is the open and active community branch. FAST-FC is developed and maintained by the original creator and... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
GUITAR - A GUI Testing Framework
A model-based test automation framework for GUI applications
This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated... -
6
alio
An "Alternative IO" layer.
The alio library can be dynamically pre-linked to existing executables and replaces file IO (i.e. calls to glibc's IO functions). This allows to gather statistics about IO, create IO trace files, or even implement a different IO behaviour (e.g. use separate IO servers to handle IO). -
7
LittleDarwin
Mutation Analysis Framework for Java
Mutation testing has been proven to be a reliable method to estimate the quality of a test suite. Most of current mutation tools require the architecture of their target system to be in a certain way in order to apply the technique; thus making it impossible to use them in complex build environments. LittleDarwin is a mutation testing tool designed primarily with the premise of easy deployment in complex systems; in order to provide mutation testing where other tools fail. -
8
TDD MAS Toolkit
A set of powerful tools to perform TDD on MAS based on JADE
The TDD MAS Toolkit provides a set of tools to perform Test Driven Development of MAS based on Jade. The toolkit allows developers to set up simulation based and test case scenario based testing, providing powerful insights of the MAS under construction and assuring that the interation protocols and agent interaction in general are been enacted as expected. -
9
FP-WinHugsHaskellTester
Executes Haskell-tests using WinHugs and visualizes the results.
Checks a haskell script (lhs, hs) based on tests specified in a test file and provides a graphical user interface to show the results, including return values compared to check value(s), coloring to see which tests fail at a glance and approximate execution time benchmarking. As a test file you may use a valid haskell script file (that runs in WinHugs) simply checking for logical equality of expressions (using ==). You may also use "~>" after a haskell expression to indicate the desired... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. By using gcRadar you can monitor the lifetime of the objects that are created by your application in runtime,... -
11
DDMTestbed
An independent Data Distribution Management testbed
DDMTestbed is a testbed that allows you to generate random instances and evaluate your proposed resolutive method measuring execution time, memory occupied and distance from the optimal solution. It has been written in C language. -
12
Our goal is to find out useful and funny ways for expanding the possibilities of many FOSS by integrating them with other FOSS and proprietary systems. You'll find here many open source plugins and extensions useful to put those FOSS hermits together.
-
13
dbtesma
efficient data generation for benchmarks and performance analysis
Highly efficient Data Generator for Benchmarks and Algorithm Performance Analysis. Supports fully configurable schemata as well as meta structures like Foreign Keys and Functional Dependencies. -
14
NPEDetector
Null dereference verifier for Java Programs
NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis. -
15
r4st
A database rapid application development tool
The r4st ("Our Forest") project is a set of tools to assist with the rapid development of a database application. It uses shell scripts to drop/add Postgresql database tables/views with data loaded from sql and csv files. This process allows users to apply changes then re-build the system. It is essentially a customizable database regression system. The base schema and data module represent a plant database intended for educational and scientific usage. -
16
SCHEDuler SIMULAtor (originally sched_sim) is a simple C++ event driven simulator of scheduling policies (single processor). Currently supported scheduling policies are: FIFO, LIFO, EDF, LST, RM, DM.
-
17
The purpose of the project is summarising effort from a number of analytic libraries, adding interactive web-based user interface and making a free open source solution for risk analytics and stress testing. Feb 8, 2012 Paul Glasserman's Importance Sampling and Tail Approximations as well as plain Monte Carlo have been implemented for for the widely used normal copula model of portfolio credit risk. The package includes source code, examples, spreadsheet with results and references to the papers.
-
18
Fast Fourier Transforms (FFT) for Multi-CPU (and RAM) Stress Testing. Shows detailed information about physical and logical processors in the system. Included CPU Benchmark feature for speed testing. Automatically utilizes and tests all CPU cores.
-
19
punykit
PunyKit - it's a very simple webkit-based browser.
Rocket science it is not: PunyKit, a puny WebKit-based browser. PunyKit is a browser I created in about an hour or so, maybe less. It is a QtWebKit centred application that displays the page in a "mobile browser similar" manner, and keeps that oh-so-useful WebInspector open in a separate window next to it. What I'm aiming for is something that is as close to the iPhone simulator as possible, but with a web-inspector and (Yay!) works on machines which weren't made by the Apple... -
20
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
21
Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.
-
22
Industrial Ethernet Network Performance (IENetP) Test Tool developed by the National Institute of Standards & Technology (NIST). This test tool determines the network performance of industrial devices using standardized metrics and tests.
-
23
A simple C++ unit testing framework contained within a single header file. Minimal code is required for each new test.
-
24
Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.
-
25
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
