Search Results for "gnu science" - Page 2
Sort By:
Showing 324 open source projects for "gnu science"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
-
2
WIP – Wzzard Integration Platform – relying on fog computing paradigm offers the possibility to integrate the IOT and IT world in Enterprise enviroment. Advantech B+B Wzzard is a wireless connectivity hardware platform for sensors of different nature. It's easy to implement and scalable and it's being realized with industrial standard so it offers high availability and can be used in remote and hostile environments. The WIP is a Web Project developed by IT Distribuizione that adds...
-
3
freedomotic
Open IoT Framework
Freedomotic is an open source, flexible, secure Internet of Things (IoT) development framework, useful to build and manage modern smart spaces. It is targeted to private individuals (home automation) as well as business users (smart retail environments, ambient aware marketing, monitoring and analytics, etc). Freedomotic can interact with well known standard building automation protocols as well as with "do it yourself" solutions. It treats the web, social networks and branded frontends as... -
4
xinco [eXtensibe INformation COre] is a powerful Web-Service based Information and Document Management System (DMS) for files, text, URLs and contacts, featuring ACLs, versioning, full text search, an FTP-like client (easy install, J2EE+MySQL/PostgreSQL)
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
6
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
7
TER implements the CCSDS Recommendation for Image Data Compression (CCSDS 122.0-B-1). TER also adds new features to the Recommendation. TER is designed and programmed with the aim to provide a good basis to test and develop the CCSDS Recommendation.
-
8
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
9
TraceMetrics
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3).
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3). The main goal is to perform a quick analyzis of the trace file produced by ns-3's simulations and calculate useful metrics for research and performance measurement. Such tool is needed because a research simulation may generate a trace file with thousands of lines, becoming dificult to analyze manually. Due to this, this tool can be handy in case someone needs a metric that the tool already support. TraceMetrics is... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
DCMLinux - Dicom Linux Distribution
Dicom PACS solution for free.
DCMLinux is a complete PACS system, free of charge. Its core is an Ubuntu 14.04 system fully updated and it contains the DCM4CHEE as its PACS server. In the near future it will contain many other addons such as Weasis, Oviyam, Care2x, etc. Just download the iso, burn it to a CD and boot it up. No need to configure any files of dcm4chee, DCMLinux installer asks for everything it needs to configure a running PACS in minutes. Project Wiki : http://wiki.dcmlinux.org Project Forums:... -
11
Sensa
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Sensa is not an operating system, is a work environment compatible with Android © 4.4.4, Firefox OS ©, Linux Ubuntu 12.12 ©, MacOS Classic 7 ©, MS -DOS © operating systems, and Microsoft Windows 8.1 ©; whose distribution is free, and with source code available under GNU GPL 2.0 license . -
12
JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
-
13
Ganib | Project Management Software
Open Source, tasks, bug tracking, agile scrum, timesheet, wiki
Ganib gives simpler ways to keep your projects organized and on track. Take advantage of easy features that help you quickstart and makes your team more efficient and productive. Open source Web based online agile project management collaboration software free, J2EE platform, MySql database with project dashboards & reporting. Organized Teams & Projects: Easily plan & manage projects with intuitive features to help your team deliver on time. Quickly focus on what's important, easily... -
14
Architeuthis ist ein open source-Softwaresystem, das die Entwicklung verteilter Java-Programme unterstützt und den Rahmen für ihre Ausführung bereitstellt.
-
15
An API for manipulating EDIF netlists in Java. We use this API to analyze netlists as a part of our FPGA reliability project. We intend to keep the API as general as possible to support other netlist analysis and manipulation activities. This material is based upon work supported by the National Science Foundation under Grant No. 0801876. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the...
-
16
Glass Library
Glass is a library for distributed computing.
Glass is a library for distributed computing. It's written in C++ and widely portable. -
17
Elastic Management of Tasks in Virtualized Environments is in charge of managing virtual machines created in Xen by creating full customized virtual machines and allowing executing tasks inside this.
-
18
NexusDataLink
Connect, monitor and control your (embedded) systems remotely. m2m/IoT
Connect, monitor and control your systems or embedded devices remotely (m2m/IoT) - for example your Raspberry Pi. The communication interface is defined in XML automatically providing a REST interface. NexusDataLink integrates smoothly in existing software or firmware and significantly reduces connection- or communication-related source code. -
19
LinkSmart Middleware
We have moved to https://linksmart.eu - visit us over there!
You can now find us at https://linksmart.eu -- along with files for download, repositories for code, forums for support, and wikis for documentation. -
20
Agent.GUI
The Project moved to github https://github.com/EnFlexIT/AgentWorkbench
The project has moved to github https://github.com/EnFlexIT/AgentWorkbench Agent.GUI is a simulation framework and toolkit based on the JADE framework. It provides functionalities for time aspects, agent-environment interaction, visualization and load balancing, Furthermore, the included application focuses the usability for end users. -
21
OpenCarto
Spatial data transformation, multi-scale mapping, vector web mapping
-
22
PARUS
Dataflow parallel programming language for clusters
PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it. -
23
MGM GridComputing
Cross-platform grid computing solution
MGM GridComputing is a cross-platform solution to distribute time-thirsty tasks such as number crunching to a grid of connected clients. -
24
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
25
TuCSoN
TuCSoN tuple-based coordination middleware
TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.
