Search Results for "software" - Page 13
Sort By:
Showing 2978 open source projects for "software"
View related business solutions-
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.
-
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
-
2
autoCode4
Synthesizing embedded control software from formal specifications
...The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package. -
3
yEdGen
yEdGen can open a flow chart and generate ANSI C code from it.
yEdGen can generate ANSI C code from a graphml file. You can use yEd Graph Editor, save your flow chart (following some yEdGen rules) in graphml and open it with yEdGen to generate ANSI C code. You can extend yEdGen to generate code for other language. This tool is student oriented. -
4
Saketa SharePoint CAML Query Builder
Providing simple, hassle-free, intuitive Queries
Coding is one of the important aspects which is a part of every organization regardless of the platform on which they are working. Being an important aspect at one side of another side coding is a difficult and time-consuming task. Developers struggle a lot in writing accurate codes as based on business requirements of multiple clients. We at Saketa have developed CAML Query Builder tool. It is a standalone tool. -
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.
-
5
AnyParser
Problemless Grammar and Parser in Java
Grammar based parsing in Java 8 to a tree structure. Create with no overhead a grammar in java and parse it into a tree structure. Will probably work right away with your grammar. -
6
MicroGP
A multi-purpose extensible self-adaptive evolutionary algorithm
MicroGP (µGP, ugp) is a versatile optimizer able to outperform both human experts and conventional heuristics in finding the optimal solution of hard problems. It is an evolutionary algorithm since it mimics some principles of the Neo-Darwinian paradigm. ⚠️ A new version is available on https://github.com/squillero/microgp4 -
7
AutoGen is designed to generate text files containing repetitive text with varied substitutions. Its goal is to simplify the maintenance of programs that contain large amounts of repetitious text, especially when needed in parallel tables.
-
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 and functions to represent and maintain locally in KP code all ontology classes, relations, properties, and individuals. ...
-
9
DesignerWt
A layout and widget editor for Wt (C++ web applications)
This program will allow you to create sophisticated screen layouts that can automatically adjust to browser size. Each widget within a layout is highly customisable, using property pages that adapt to the type of widget being edited. There is a preview mode and a zoom mode for detailed editing. In addition to the main design dialogs and popup menus can also be created. A design, when saved, will generate a C++ header class that contains all elements of the design. This class, when... -
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
BARF is a language-agnostic engine for generating finite-automaton-based scanners and pushdown-automaton-based parsers. Targets (in any arbitrary language) are completely data-driven via text files -- no additional compilation is necessary.
-
11
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
12
Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment... -
13
Xsemantics
a DSL for type systems, reduction rules, interpreters for Xtext langs
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java). -
14
GeneratorEclipsePlugin
Eclipse Repository for Code Converters
This is the Eclipse Plugin Site for "Java Code Generators". The plugin provides a menu entry "Java Code Converters" in the Eclipse Package Explorer. This menu opens a sub menu. Each sub menu entry works in the same way: 1. A directory dialog is opened. 2. Choose the directory where the properties for the generation are located 3. Print "OK" and await the code generation results For each Java Code Generator different properties files with different property keys are... -
15
Stock Inventory Management
PHP Stock Inventory Management System - POS
A web-based application which will manage stock inventory so easily: Dashboard, Stock Management, Purchasing, Sales, Suppliers, Customers, Outstandings, and Payments. Nice look and feel interface. It supports to be displayed in mobile-device. This web application is actually generated by PHPMaker without touch any code in the generated script files. All the customization are done from inside of PHPMaker Project. Thus, all the changes are saved in the project side, so that you will be able... -
16
SQLG2 is preprocessor and library that combines ideas of JDBC, SQLJ and iBATIS to simplify writing DB access code for small and medium-sized applications, making it similar to PL/SQL development. It is intended for use under JDK 1.6 or later.
-
17
JTurboExplorer
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
It is a tool to help programmers to check your databases and generate code so easily. Lists the tables and views of databases, MySQL, Oracle and Sybase. Load Data from Excel 97-2003 files, exports the data from the table to Excel 97-2003 file. Generate Stored Procedures from table to insert, update, delete, query and paging. Generates code JSF2.0 (Action) and PrimeFaces (xhtml) from the table, code for Struts 1.3, etc. -
18
EasyMda
An Eclipse plugin that generates source-code, from a Java based model
easyMda is an Eclipse plugin that can generate source-code, from a model that is based on Java classes. The main goal of this project is to provide the: most flexible (anything imaginable, can be modelled and generated), easiest to develop and to use, and also a very fast: MDA/code-generator tool. The main difference with other Mda tools is that easyMda does not rely on Uml nor a Dsl, instead it uses Java classes as it's model. The advantage over Uml and Dsl is that the combined... -
19
ipc-quartztime
inter process communication library based on POSIX
ipc-quartztime is an inter process communication library based on shared memory, mutexes and signals. ipc-quartztime is intended for high-speed and high-throughput communication between processes. -
20
EventB2SQL
Generate Java and PHP database apps from abstract Event-B models.
EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications: * Java with MySQL backend (JDBC) * Java with SQLite backend (JDBC) * Java for Android with native SQLite backend * PHP with MySQL backend (PDO) EventB2SQL can translate abstract Event-B models that use features such as: * enumerated sets * variables of set and relation types * simultaneous assignment * set... -
21
Free Barcode Generator VB.NET
Easily create and print codebar labels to any application
This project uses as engine the powerful library ZEN BARCODE. The reason why this project exist, it's because there was not a way to add a description and codebar number to any codebar label using only Zen Barcode, so I added a few tweaks to make a printable (and useful) label including all mentioned stuff. Hopefully can be of help to anybody in help of print codebar labels, but ideally some people will help to expand its functionalities to make this tool a kind of "de facto" standard to... -
22
ASDRAD is a source code generator which reads a configuration file and generates *.c, *.h, makefiles etc. It's written in Python and uses templates. Output files are for AmigaOS and derivates like AROS and MorphOS.
-
23
GS3
GS3 project
RPG to Java transformation. Create maintainable Java -
24
JQVT
A QVT engine targeting Java
MIGRATED TO GITHUB: https://github.com/patins1/raas4emf/ -
25
