Search Results for "logic programming"
Sort By:
Showing 37 open source projects for "logic programming"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
Spring Framework
Comprehensive programming and configuration model for modern apps
The Spring Framework provides a comprehensive programming and configuration model for modern Java-based enterprise applications, on any kind of deployment platform. A key element of Spring is infrastructural support at the application level: Spring focuses on the "plumbing" of enterprise applications so that teams can focus on application-level business logic, without unnecessary ties to specific deployment environments. -
2
SoapUI
SoapUI is a free and open source cross-platform functional testing
...This is for developers and testers looking to accelerate their ability to deliver REST, SOAP, and GraphQL APIs. SoapUI Open Source is the simplest and easiest way to begin your API testing journey. APIs, or Application Programming Interfaces, have become the center of software development, connecting and transferring data and logic across disparate systems and applications. Luckily, testing them can greatly improve the efficiency of your testing strategy as a whole, helping you deliver software faster than ever. -
3
Axon Framework
Framework for Evolutionary Message-Driven Microservices on the JVM
Axon provides a unified, productive way of developing Java applications that can evolve without significant refactoring from a monolith to Event-Driven microservices. Axon includes both a programming model as well as specialized infrastructure to provide enterprise-ready operational support for the programming model - especially for scaling and distributing mission-critical business applications. Axon is composed of the following concepts and products. Domain-Driven Design (DDD) defines many concepts and patterns that help design software effectively, in line with the business requirements. ... -
4
Pkl
A configuration as code language with rich validation and tooling
pkl is a purpose-built configuration-as-code language developed by Apple that combines declarative structure, validation, and tooling to improve over traditional configuration formats like JSON, YAML, or Plists. Its goal is to let you write configuration logic (modules, imports, conditions, defaults) while still producing static outputs suitable for tools that expect JSON, YAML, or other formats. Configurations in Pkl are type-safe and support validation constraints (e.g. bounds, relations)... -
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.
-
5
Micronaut
Micronaut Application Framework
Micronaut is a modern, JVM-based, full-stack Java framework designed for building modular, easily testable JVM applications with support for Java, Kotlin, and the Groovy language. Micronaut is developed by the creators of the Grails framework and takes inspiration from lessons learned over the years building real-world applications from monoliths to microservices using Spring, Spring Boot, and Grails. Micronaut aims to provide all the tools necessary to build JVM applications. With Micronaut... -
6
Netty
An event-driven asynchronous network application framework
Netty is an asynchronous, event-driven networking framework for the JVM that simplifies building high-performance clients and servers. It wraps Java NIO with a channel/handler pipeline model, enabling clean composition of codecs, TLS, and application logic with minimal overhead. Its ByteBuf abstractions, buffer pooling, and zero-copy techniques help reduce GC pressure and improve throughput under heavy I/O. Support for common protocols—HTTP/1.1, HTTP/2, WebSocket, and raw TCP/UDP—makes it a... -
7
aguacate
With aguacate you get a better taste
Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS -
8
Kisekae UltraKiss
Kisekae UltraKiss is a full featured integrated development environmen
UltraKiss is a computer program that implements the Kisekae Set system, KiSS, a Japanese graphics system originally developed to facilitate costume changes on virtual dolls. UltraKiss was developed to help artists build their KiSS sets. It is a full featured viewer for all KiSS dolls, games, and visual applications. It is also a complete graphical development environment for creating KiSS applications. It fully implements the FKiSS event driven programming language up to and including... -
9
eCxx
A C++ library for AVR and NodeMCU
NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
-
11
S-MVP
Optimized version of MVP, using annotation generics to simplify code
Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. 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! ... -
12
TOVAL: Toms Java Library
Library with classes for common programming issues.
TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more. -
13
dpcm-dt
DPCM DT automates the development of WSN applications
...DPCM DT is a toolset developed as part of the WSN-DPCM Artemis project that aims to help the developers to create WSN applications faster by automating most development tasks below the application-specific business logic. The toolset can be used both by the application domain experts, which may have limited development skills, and power users that can interact with the toolset flow in different ways to leverage their programming and development proficiency. -
14
Hibersap
A Java library to communicate with SAP
Hibersap helps developers of Java applications to call business logic in SAP backends. It defines a set of Java annotations to map SAP function modules to Java classes as well as a small, clean API to execute these function modules and handle transaction and security aspects. Hibersap's programming model is quite similar to those of modern O/R mappers, significantly speeding up the development of SAP interfaces and making it much more fun to write the integration code. ... -
15
The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system. JLCF focuses on usability on a simple programming model and also provides advanced features...
-
16
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and... -
17
Mouse Run
Programming Game, A Practice Tool for Building Intelligent Things
Mouse Run is a programming game where programmers can implement a mouse and let it run in a maze to hunt of cheese. It is a battle among programmers to test who can build the most intelligent mouse, given limited information during the game. Programmers need only implement one code file, extending from an abstract class that will contain the logic of the individual mouse. -
18
Diffusive
Task-oriented distributed computing framework
DIFFUSIVE HAS MOVED TO GITHUB: http://robphilipp.github.com/diffusive The goal of diffusive programming is to make task-oriented distributed computing easier by separating the execution logic from the distribution logic. Diffusive programming, defined by a set of six principles, is an approach for performing method-level, task-oriented distributed computing. In diffusive programming, any method can be marked for distribution, regardless of its signature. ... -
19
WIDE Framework
Web application framework for business logic oriented programming.
The overall goal of the framework is to provide easy to use, configurable and business logic oriented development of web application, which is flexible and agile for future enhancements and base lining for other web application. Also with the framework, reusability and localization of multi-scope (e.g. multi-country) business logic is easy to implement and understand by the developers and production support. The framework only applies to web applications using Java 6 or later version. It... -
20
NaruGo is game AI project. Current targets are GO board game and Texas Holdem poker. It investigates Genetic programming to build game AI logic. Also EA/GP simulations for TSP, Graph layout and Prisoners Dilemma problem.
-
21
LIPL PLC Device
LIPL language
LIPL is high-level programming language that represents a program by interpreted commands. It is primarily used to develop software for programmable logic controllers (LIPL PLCs) used in industrial control applications. This language supports only the most basic functionality (if/then, for/next, goto, print, aritmetic-logical expressions and others). -
22
Framework for making Windows applications that are one .exe file in AutoHotKey_L,C++,C#, VB.NET,Java,Groovy,Common Lisp,Nemerle,Ruby,Python,PHP,Lua,Tcl,Perl,Jint,S#,WSH VBScript,HTML/JavaScript/CSS,COM, PowerShell without compiling . For .NET 4.
-
23
A Java-based MetaClass/MetaObject meta-programming layer providing generic access to model implementations, decoupling application logic from underlying implementation details and allowing UIs (Swing, HTML, etc.) to be dynamically generated at runtime.
-
24
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
-
25
