Search Results for "ghost 4 linux"
Sort By:
377 projects for "ghost 4 linux" with 2 filters applied:
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
COBOL copybook to XML converter
Converts cobol copybooks to Xml/Java objects
CB2XML (CopyBook to XML) is a COBOL CopyBook to XML converter written in Java and based on the SableCC parser generator. This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa. Source is now available in GitHub: https://github.com/bmTas/cb2xml -
3
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
4
BinaryPHP is a PHP To C++ converter which will convert PHP scripts into C++ equivalents ready to be compiled using any ANSI compiler.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
jPicEdt
Another drawing editor for LaTeX with PSTricks & TikZ
jPicEdt is an extensible internationalized vector-based drawing editor for LaTeX and related packages (TikZ, PsTricks,...), written in Java. It is also a library of reusable high-level graphic primitives. -
6
GPT-Code UI
An open source implementation of OpenAI's ChatGPT Code interpreter
An open source implementation of OpenAI's ChatGPT Code interpreter. Simply ask the OpenAI model to do something and it will generate & execute the code for you. You can put a .env in the working directory to load the OPENAI_API_KEY environment variable. For Azure OpenAI Services, there are also other configurable variables like deployment name. See .env.azure-example for more information. Note that model selection on the UI is currently not supported for Azure OpenAI Services. -
7
babyxrc
A portable ANSI C resource compiler to import images, audio, and text.
The Baby X resource compiler (babyxrc) is a program to import binary data, such as images in most common formats, audio data, fonts, cursors, and text data, and output it as portable, compileable C source. Input is the raw binary resource data (.jpegs, .wavs etc) and a simple xml file which lists the files and the format in which they are to be output. It's very easy to maintain. To avoid users having to maintain a tool chain, a few basic transformations like resizing images or resampling... -
8
LiteSQL is a codegenerator and C++ library that integrates C++ objects tightly to relational database and thus provides an object persistence layer. LiteSQL supports SQLite3, PostgreSQL, MySQL and oracle as backends.
-
9
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -... -
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.
-
10
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
11
The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
-
12
Monkey is a scanner and a LR(1) parser generator for object oriented languages. The platform on wich it runs is Java.
-
13
A small library (as headerfile) which extends the C language with OOP like capabilities (object orientation). Project Focus - simple, fast, portable - public data encapsulation - polymorphism - single inheritance
-
14
An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (32 [v5,v7,thumb2]/64), PowerPC (32/64), MIPS (32/64) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language.
-
15
This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
-
16
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
-
17
plof
PHP Framework
Plugin-oriented PHP Framework with MySQL support -
18
A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).
-
19
Readable Lisp S-expressions
Readable Lisp/S-expressions with infix, functions, and indentation
This project is dedicated to developing more readable format(s) for Lisp-based languages (such as Common Lisp and Scheme) and implementing those formats (readers, pretty-printers, editor macros, etc.). MIT license preferred, to spread them widely. -
20
Struts2Builder is a Java code generation project. It will log into an existing database and generate a working Struts2 / Spring / Hibernate or MyBatis application for every table in that database.
-
21
A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.
-
22
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... -
23
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.
-
24
The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
-
25
Adichatz - Eclipse 4 RCP Framework
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
In a few minutes, Adichatz plugins allow you to develop an Eclipse 4 RCP application using JPA in a JEE or JSE context. Editors enable to edit beans and their dependencies including databinding, validation, transaction... Components are easily extensible.
