Search Results for "p-unit"
Sort By:
Showing 19 open source projects for "p-unit"
View related business solutions-
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.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
TRAK Viewpoints
Specifications for TRAK architecture views
...The minimal process is defined in the overall TRAK specification (https://sf.net/p/trak) -
2
A multi-notational modeling toolkit that supports the NFR framework, i* Framework, KAOS, Problem Frames, BPMN and UML notations. For more information, please visit the project's Wiki page at https://sourceforge.net/p/re-tools/wiki/Home/.
-
3
TRAK UML Profile
Implementation of TRAK enterprise architecture framework as UML profil
UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementation of TRAK in a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF. -
4
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
geometry3d
A Python library for geometric objects in 3 dimentions
...It also can tell if it contains the other object or is it contained by that. Where appropriate, it's easy to check orthogonality and parallelism. Vectors are sub-typed from numpy ndarray class. Extensive unit tests are included. Test coverage exceeds 95%. See documentation of the library internals in section Files ( https://sourceforge.net/projects/geometry3d/files/ ). -
6
MJExtension
A conversion framework between JSON and model
A fast, convenient and nonintrusive conversion framework between JSON and model. Dictionary-to-model framework with fast conversion speed and easy to use. A large number of unit tests have been carried out on various commonly used data scenarios. MJExtension is an ultra-lightweight framework that converts between dictionaries and models. Coding all properties of a model with only one line of code. Coding (archiving and unarchiving) of all attributes of the model can be achieved with just one line of code. ... -
7
TRANSIMS is an integrated system of travel forecasting tools for modeling regional transport systems. For more information, visit http://code.google.com/p/transims/
-
8
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
9
TensorFlow.js models
Pretrained models for TensorFlow.js
...To find out about APIs for models, look at the README in each of the respective directories. In general, we try to hide tensors so the API can be used by non-machine learning experts. New models should have a test NPM script. You can run the unit tests for any of the models by running "yarn test" inside a directory. Use off-the-shelf JavaScript models or convert Python TensorFlow models to run in the browser or under Node.js. Build and train models directly in JavaScript using flexible and intuitive APIs. Develop ML models in JavaScript, and use ML directly in the browser or in Node.js. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.
-
11
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
...To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia. -
12
JAGAL: Java Graph Library
Java graph library
JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal. -
13
dxf2mod
DXF to Kicad Module File Converter
This program converts DXF line, circle, and arc entities to the Kicad module file format. Possible improvements include pad detection, and scaling. Currently it the unit system must be in inches for all software. The program itself was written in Autohotkey so it must be used on a Windows machine. I chose this language as it is what I am most familiar with. If there is a use for it I may port it to python so it can be used cross platform. -
14
This projects aims at providing an object model which describes a java source file static and dynamic behaviour. The generated object model can be used to analyse the source code or generate new code (unit tests, for example).
-
15
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
..."Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. ... -
16
The premise is a "construction set" for creating artificial life-forms, cell by cell. Each cell type is a sensor, an actuator or some kind of metabolic or computational unit, and the user combines cells into circuits to create higher-level behavior
-
17
It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi
-
18
-
19
NHag - NHibernate Automated Generator - is an advanced Codegenerator. Based on the hbm.xmls it can produce class code (in VB.NET and C#), Cell- and MVP-based abstraction layers and test scenarios (Test-DB and Unit Tests) for the generated classes. It's
- Previous
- You're on page 1
- Next
