Showing 29 open source projects for "logic programming"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • Level Up Your Cyber Defense with External Threat Management Icon
    Level Up Your Cyber Defense with External Threat Management

    See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

    Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
    Try for Free
  • 1
    Spring Framework

    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.
    Downloads: 23 This Week
    Last Update:
    See Project
  • 2
    SoapUI

    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.
    Downloads: 81 This Week
    Last Update:
    See Project
  • 3
    Axon Framework

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Micronaut

    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...
    Downloads: 7 This Week
    Last Update:
    See Project
  • Keep company data safe with Chrome Enterprise Icon
    Keep company data safe with Chrome Enterprise

    Protect your business with AI policies and data loss prevention in the browser

    Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
    Download Chrome
  • 5
    Pkl

    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)...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Kisekae UltraKiss

    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...
    Downloads: 12 This Week
    Last Update:
    See Project
  • 7
    eCxx

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
    Leader badge
    Downloads: 23 This Week
    Last Update:
    See Project
  • 9
    Netty

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 10
    S-MVP

    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! ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    TOVAL: Toms Java Library

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Mouse Run

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    WIDE Framework

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Lioness (Languages Interop Framework)
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    A logic programming language that interoperates with Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Hoople is like attribute-oriented programming for URLs. Rather than having the configuration information and “URL Logic” spread throughout the site, you create a single XML configuration file that contains all the “logic” for each URL on the file
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Yet Another Java Framework is a modern, component-based framework for rapid Web programming in Java with strong separation of presentation, logic and business/database layers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next