Search Results for "logic"
Sort By:
Showing 40 open source projects for "logic"
View related business solutions-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
1
FlutterPP
FlutterPP is designed to be your ultimate developer companion
Welcome to FlutterPP, your developer companion for building Flutter apps with ease. FlutterPP (Flutter Plus Plus) is a low-code tool designed to significantly reduce development time by automating code generation for Flutter applications. This initial release, marks the beginning of an exciting journey towards making Flutter development more efficient and accessible. Flutter Plus Plus can automatically generate project files using BLoC OR GetX frameworks ( working on adding more! ). It... -
2
hygen
The simple, fast, and scalable code generator
...Contextual template lookup, pull requests that look nice and clean, structured file organization, make generators fun again! Constantly benchmarked and dependencies are carefully considered to shorten startup and generation time. Built-in scaffolds to quickly create generators. Full logic templates and rendering. Prompts and flows for taking in arguments. Automatic CLI arguments. Adding new files, injecting into existing files. Running shell commands. Super fast, constantly optimized for speed. Hygen can be used to supercharge your workflow with Redux, React Native, Express and more, by allowing you avoid manual work and generate, add, inject and perform custom operations on your codebase. -
3
Pocket Application Maker. Combination of a rapid GUI generator and a flexible "text generator/commander" to handle both design and logic of an application simply from a text file. All with SQL capability (sqlite integrated).
-
4
glint
A tool for finite state machine analysis and synthesis.
...glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. Also glint can tell you in regexp style which event sequences your FSM can handle and which are forbidden for it. -
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.
-
5
S-MVP
Optimized version of MVP, using annotation generics to simplify code
...Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! Not only that, we can also write a View for testing to simulate various operations of the user, so as to test the Presenter - without using automated testing tools. -
6
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
-
7
VisitorGenerator
Generator for visitor code providing no Visitor Pattern in Java
...The Visitor Generator generates code for components having no Visitor Design Pattern implemented by customer or design restrictions but there is a need to traverse the component tree. The generates code separates the code for the "visiting" (what to do on a visited node component) and the code implementing the traversal logic by a RelationResolver. Thus you can implement Visitors and RelationResolvers and combine them as needed. E.g. You want to find a node component by it's unique id. In that case you can implement a visitor comparing each node until found. And you implement an RelationResolver that stops as soon as the element is found. It is not necessary to traverse the whole component tr -
8
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. -
9
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. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
-
11
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
12
gen Go
Type-driven code generation for Go
...It uses type annotations to add “of T” functionality to your packages. gen generates code for your types, at development time, using the command line. It is not an import; the generated source becomes part of your package and takes no external dependencies. Typewriters are where templates and logic live for generating code. Here’s set, which will make a lovely Set container for your type. Third-party typewriters are added easily by the end user. You publish them as Go packages for import. This repository. The gen package is primarily the command-line interface. Most of the work is done by the typewriter package, and individual typewriters. -
13
...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.
-
14
Streams for IBM i
Batch performance boosting and Big Data framework for IBM i
...Streams for IBM i can split an existing batch process into a number of concurrent streams, completely eliminate backup-related delays, introduce new robust recovery policies and even modify the program logic of existing applications - all without any code modifications. Streams for IBM i includes a feature allowing manipulations of batch job QTEMP libraries. -
15
Open Source DCS (Distributed Control System). FreeDCS will give you everything you need to control your machines or process. It's being designed to be easy to use and deploy. It's composed of Logic designer, HMI designer and controller software.
-
16
Xross Tab / QScript
Market Research Data Processing Suite
XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up to 80%. This is already being used by various companies in Market Research industry. 2) Tablet/Web enabled Survey Management Companies can launch the same survey, online and over Tablet/mobile. This product is in prototype phase. 3) XTCC, a web based cross tabulation tool that enables companies to carry out real-time analysis. ... -
17
ANY Database employing SQL, any system, any task TRANSFORM Your SQL between DBMS, different languages and from slow SQL to fast one, transform any of Your redundant task to work in organized and sustainable manner.
-
18
You specify a desired domain-logic in UML, optionally some parts in Python, from scratch or reused. This custom application model is dynamically executed or updated. - Aeonic is a project to develop that kind of MDD technology for modern server apps.
-
19
metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/
-
20
A framework for all-platform GUI-development based on completely separating business from presentation logic and introducing methods of abstraction that allow stepwise refinement of the GUI-definition.
-
21
This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event
-
22
Visual SQL Builder is a graphical PostgreSQL client written in java that will allow users to Visually build a complete SQL statement, without typing any clause. Building complex SQL queries in an easy way, reducing debugging, syntax and logic errors.
-
23
GraphSQL is a database modeling tool.User can build database logic model easily by mouse,dialog operation then generate the SQL script insured right and compatibled with Sybase PowerDesigner.
-
24
The main idea behind tk_happy is to allow a fully "wired" Tkinter application to be quickly created (Tkinter is the python interface to Tk). The users main responsibility is to add logic to the Tkinter framework created by tk_happy.
-
25
DBCache is a tool/framework set that creates java classes from a Database schema, and allows you to start with the logic of your application. It uses a cache to reduce DB overload and facilitates DB access. It'll save you a lot of time.
