Search Results for "gnu/linux" - Page 9
Sort By:
Showing 654 open source projects for "gnu/linux"
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.
-
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.
-
1
Unimozer intends to be a universal modelizer for Java™. It allows the user to draw UML diagrams and generates the relative Java™ code automatically and vice-versa.
-
2
SPSens
Stochastic parameter sensitivity analysis for chemical networks
SPSens is a complete software package written in C that estimates parameter sensitivities for stochastic models of chemical and biochemical reaction networks using Monte Carlo (MC) stochastic simulations. It is possible to estimate sensitivities with respect to system parameters using the following algorithms: finite difference methods (crude monte carlo, common reaction path, coupled finite differences); likelihood ratio methods; and regularized pathwise derivatives. Additionally the... -
3
Trike
Computer-aided threat modeling
Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2. -
4
set image plane
press ctrl button with shelf button to toggle imageplane
Sets Imageplane for your Autodesk Maya scene file, for the 3d Model you are working on. You must have this code in the shelf button : try: reload(setimgpln) except NameError: import setimgpln -
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
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
6
Semi-automated exploration of all page links inside a web application. Produces a map (i.e. a graph) of all links between pages, including relationships on HTTP request parameters and form input fields.
-
7
umpledot
Uses GraphViz to draw UML class diagrams
Some code collected from my old UML/Dot project with a view to submitting it to the Umple project. Just draws an UML class diagram using GraphViz. -
8
This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported.
-
9
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
..."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. Only jre7 compliant at the moment. -
11
O SIAL é um Framework criado e mantido pelo ICMBio que tem por objetivo o desenvolvimento de suas aplicações. Suas principais características são: * Estrutura bem definida * Forte delegação de responsabilidade entre as camadas * Flexibilidade para adoção e substituição de componentes externos * 100% coberto por testes unitário * Facilidade para detecção de erros * Concentração na abstração de soluções para problemas em comum * Otimização de recursos...
-
12
This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
-
13
rel-erl
rel_erl is a lightweight relational in-memory database for Erlang.
Features 1. Data rows are stored in the process dictionary. 2. Unique and referencial constraints are enforced. 3. There can be more than one index per table. 4. One-to-many joins are fast and easy. -
14
-
15
-
16
GenLab abbreviation of Genetics Laboratory .It is a user-friendly bioinformatics tool to support your bioinformatics lab work. GenLab creates a software user-friendly environment, which makes users to make a large number of protein, DNA, and RNA sequence analysis and excellent graphical viewing. It also provides powerful environment for simulations of Protein 3D molecular models. GenLab typically provides: •User-friendly graphical tools used for finding and working with relevant...
-
17
In two words, Active is to eat the beans. In three, Active is JavaBeans for application : how an application can know herself, how beans can form an application.
-
18
A MOF 2 for Java is an implementation of the new OMG MOF 2 Recommandations. It provides an enhanced JMI interface to utilize new Java features, such as generics, and new MOF/UML features, like property redefinitions and subsettings.
-
19
Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.
-
20
Most known is SPE, a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
-
21
Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.
-
22
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) -
23
OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.
-
24
A framework for creating automatically-assembling trees of objects. Intended to parallel another interface as strictly a data I/O structure (e.g. file load/save in parallel with a GUI displaying it.) Adaptable to any hierachical data format.
-
25
An framework to allow developers to create modular applications from smaller, special-purpose programs. Access the API to communicate between processes in a structured system. Highly configurable, security a central theme, extensible, expandable.
