Search Results for "gnu/linux" - Page 8
Sort By:
Showing 787 open source projects for "gnu/linux"
View related business solutions-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
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.
-
1
COORAD
Configurable Object Oriented Rapid Application Development system
COORAD is a classic LAMP/WAMP stack application. It let you quickly design web pages and configure actions to manage your data. Moreover, it let you self-generate pages/sections/actions/CSS/javascript by COORAD model objects and create your own models. So, you can share all your objects with the COORAD community and speed up your development. COORAD is a real general purpose application to build your own applications: simple sites, Content Managment Systems, Enterprise Resource Planners, etc. -
2
JetSet is a (meta) tool that lets your quickly create model tranformator tools for instances of a given source meta model. For XML to XML transformations you can also specify a target XML schema and JetSet makes sure that your output conforms to this.
-
3
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
4
JavATE is a set of Java libraries that enables application development using the domain driven methodology.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
[JMuwe] Java Multifunktions Wecker
Raspberry Pi Projekt Multifunktions Wecker
Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY -
6
The Semantic Application Design Language (SADL) expresses domain knowledge as semantic models and rules. The SADL-IDE (integrated development environment) is an Eclipse plug-ins for editing SADL, converting to OWL, and testing using Jena or Pellet.
-
7
PIN
Provenance in NetLogo
This tool can trace, capture, query and visualize the dependency provenance in NetLogo. It consists of four main components: a source code analyzer used to automatically add probes to the model's source code, a NetLogo extension for capturing the provenance traces generated from probes, a non-preprocessing (NP) provenance slicing technique for computing provenance slices using provenance traces, and a visualization component for visualizing the provenance slices. It is compatible with... -
8
-
9
The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system. JLCF focuses on usability on a simple programming model and also provides advanced features...
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
This project hosts collaborative development of Open Source implementations of interfaces supporting the Telemanagement Forum's NGOSS (New Generation Operational Support System) standard KEYWORDS: JOSIF, NGOSS, TIP, MTOSI, OSS/J
-
11
Cognidrome
Knowledge-Based Simulation
-
12
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
13
LEE_FSM
Finite State Machine; PHP; LUA;
The software resents an executable specification language based on deterministic finite automata, this allows the user to perform tests of word recognition in the state machines that are defined by it. Moreover, it’s possible for the user to assign snippets of code to be executed every transition automaton, these snippets can be described in Lua or PHP programming language. To test that were conducted in the language, was developed a compiler that recognizes words and generates object code. -
14
glob
OpenGL 3D Mesh generating library
GLOB allows OpenGL programmers to create a variety of 3D meshes ranging from spheres, cubes and cyliders to NURBS and extrusions. GLOB compiles under Windows, Linux-based OSs and MAC. The library is compatible with OpenGL 4.0+ and doesn't use any deprecated features. 4 attrributes: 4D color, 3D normal, 3D position and 2D texture coordinate are stored per vertex in VAO (Vertex Array Objects). GLOB doesn't do any rendering to the screen and only builds the attributes for the mesh. Thus, the user must provide his own shader programs. ... -
15
CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
-
16
-
17
JUMLStateMachine
Java library implementing a state machine by the UML standard.
JUMLStateMachine is a Java library implementing a state machine by the UML standard. The purpose for the library is to be easily usable for small state machines, yet extendable and scalable for larger and more complex ones. -
18
A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra.
-
19
SMLEditor
Prototype editor for the SDEM Mapping Language
The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and... -
20
PIMs1
An editor for presentation models and presentation interaction models
PIMed is a tool for the creation of presentation models and presentation interaction models Once models have been created the tool can be used to generate abstract tests from these models, and also to export presentation interaction models (PIMs) as a .muz file for use with the AMuZed tool PIMed is free, open-source software, distributed under the GPL (GNU Public License). -
21
ROO is an (OWL) ontology construction tool based on Protégé 4. ROO makes the ontology building process easier as it provides guidance about the steps involved and it allows to enter knowledge using an easy to learn controlled natural language.
-
22
-
23
-
24
This project hosts experimental extensions and applications of the Epsilon Eclipse GMT component (www.eclipse.org/gmt/epsilon).
-
25
This project is an eclipse plug-in aiming to link the eclipse UML2 tools to the eclipse JDT. The leading idea is to use the UML editors as code editors. With a reverse engineering functionality, avoiding a generation process allows to use easily UML
