Search Results for "linux operating systems" - Page 2
Sort By:
186 projects for "linux operating systems" with 2 filters applied:
-
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
-
2
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... -
3
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...
-
4
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). -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
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. -
6
Python Embed C++
Embed C++ in Python source code, dynamically compile and access data
Moved to http://github.com/ftrias/pyembedc Python module to embed C/C++ code within Python source code and scripts. Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures. -
7
Java Application Framework For All
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems -
8
A self-contained and portable build system derived from the traditional 4.4BSD system. It implements Bourne configure script generation, concurrent building and it can compile IDE project files. It is portable to most operating systems and make flavors.
-
9
muixml
Generate MUI GUI sourcecode from XML file
Muixml reads a GUI description in XML format and translates it to source code for the MUI toolkit. The XML format will be compatible with that of Hollywod's MUIRoyale. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
-
11
pyz80 is a z80 cross-assembler written entirely in Python. It accepts text files with the syntax of the Sam Coupe's popular COMET assembler, and outputs a disk image suitable for loading in SimCoupe or transferring to floppy disk for use with a real Sam.
-
12
Web-based Information Systems for Everybody. Declare screens and DB tables of your application in XML, and have JSPs, session & CMP entity EJBs generated automatically. All that is needed to develop are business logic model classes as POJO.
-
13
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
14
ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!
-
15
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
-
16
Crud Builder
GUI App Maker
CRUD is an acronym for "Create Read Update and Delete". Familiar types of apps such as contact managers, inventory systems, home video databases, etc., are examples of typical CRUD data storage applications. This script is a simple CRUD app maker that allows you to instantly create CRUD apps which store, retrieve, sort, etc. records made of fields of data. The generated application scripts can be customized however desired, by adding your own of code. Video:... -
17
A C++ based lightweight, non-invasive SCA (Service Component Architecture) runtime. Optimized for the use in the embedded domain. We are proud to announce release 0.8 of Trentino Release 0.8 adds a major feature to Trentino. With Service discovery, configuration, deployment and operation of Services on devices is made simple and cost efficient.
-
18
CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
-
19
This project was developed and will continue to be added to in order to simplify and improve the quick development of MySQL programs which should include features that can be considered useful utilities for MySQL.
-
20
GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.
-
21
z390 Portable Mainframe Assembler
z390 Portable Mainframe Assembler and Emulator
z390 Portable Mainframe Assembler and Emulator -
22
Txt2Perl is an utility written in C and LEX in order to create subroutines in perl that shows by sdtout a text passed as parameter.
-
23
Txt2C is an utility written in C and LEX in order to create functions in C that shows by sdtout a text passed as parameter.
-
24
ICEdit is a web-based open source IDE built as a replacement for the standard desktop-installed IDE's. ICEdit allows you to work your site from anywhere and anytime!
-
25
TinyCOBOL
COBOL compiler for the PC x86-32 platform.
An open source COBOL compiler for the PC x86-32 platform. Generates GNU assembler and requires GCC to produce a binary. Supports Linux, BSD and MinGW 32 bit platforms.
