Search Results for "logic programming" - Page 3
Sort By:
Showing 99 open source projects for "logic programming"
View related business solutions-
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
Iris Powered By Generali - Iris puts your customer in control of their identity.Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
-
1
Cmockery
A lightweight library to simplify and generalize writing unit tests
Cmockery is a lightweight unit testing framework for the C programming language, designed to make writing and executing C tests simple and portable. It allows developers to test the logic of C modules in isolation by replacing external dependencies with mock functions. Cmockery focuses on testing functionality rather than environment-specific behavior, making it ideal for projects where code must run on diverse or constrained systems. -
2
KAREL 3D WebGL
Children's learning programming language Karel the Robot in 3D
KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical... -
3
Skylark
Skylark in Go: the Skylark configuration language
Skylark, now known as Starlark, is an interpreter for a Python-like language implemented in Go. It is designed as a lightweight, deterministic, and embeddable configuration and scripting language ideal for use within larger applications. Skylark maintains Python’s familiar syntax and high-level data types while omitting features that could cause nondeterminism, such as concurrency and dynamic module imports. The interpreter supports first-class functions, dictionaries, lists, and... -
4
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). 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. ... -
Field Sales+ for MS Dynamics 365 and SalesforceBring Dynamics 365 and Salesforce wherever you go with Resco’s solution. With powerful offline features and reliable data syncing, your team can access CRM data on mobile devices anytime, anywhere. This saves time, cuts errors, and speeds up customer visits.
-
5
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! ... -
6
PacManSGF
The Old PacMan! programed over the Salvat Game Fabric platform
Just another PacMan But this time with a simple programming interface. With the help of Salvat Game Fabric it was simple to concentrate effort only on the game logic. Take a look and see how it is simple to build a game using SGF -
7
EventMachine
EventMachine, fast, simple event-processing library for Ruby programs
...Extremely high scalability, performance and stability for the most demanding production environments. An API that eliminates the complexities of high-performance threaded network programming, allowing engineers to concentrate on their application logic. This unique combination makes EventMachine a premier choice for designers of critical networked applications, including Web servers and proxies, email and IM production systems, authentication/authorization processors, and many more. EventMachine has been around since the early 2000s and is a mature and battle-tested library. -
8
C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.
-
9
Template Tool Release v4.3
Unifying Business Requirements with Application Design through a GUI.
The Template Tool (TT) is a Java-based software, which DOES NOT require the user to write code. TT is a fully functional application that facilitates communication, collaboration, requirements traceability, and rapid mock-up prototyping from the point of conception and requirements gathering, to development, testing, and implementation. With the use of drag-and-drop and push-button selections without having to write any code, TT allows end users to add field components, skip-logic, business... -
Turn traffic into pipeline and prospects into customersDocket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
-
10
ArnoldC
Arnold Schwarzenegger based programming language
...While humorous in nature, the language is fully functional and can be used to write real programs, showcasing how flexible compiler and interpreter design can be. The project is a playful experiment in esoteric programming languages, intended to entertain developers while also serving as an example of how language parsing and compilation can work with unconventional syntax. It demonstrates the overlap between pop culture and software development, turning famous lines into executable logic. -
11
asyncoro
Python framework for asynchronous, concurrent, distributed programming
asyncoro is a Python framework for developing concurrent, distributed, network programs with asynchronous completions and coroutines. Asynchronous completions implemented in asyncoro are sockets (non-blocking sockets), database cursors, sleep timers and locking primitives. Programs developed with asyncoro have same logic and structure as Python programs with threads, except for a few syntactic changes. asyncoro supports socket I/O notification mechanisms epoll, kqueue, /dev/poll (and poll... -
12
Algorithms in Python
Data Structures and Algorithms in Python
Algorithms in Python is a collection of algorithm and data structure implementations (primarily in Python) meant to serve as both learning material and reference code for engineers. It includes code for graph algorithms, heap data structures, stacks, queues, and more — each implemented cleanly so learners can trace logic and adapt for their problems. The repository is particularly useful for people preparing for competitive programming, job interviews, or building a foundational understanding of algorithmic patterns. Because it’s openly maintained, you can browse through issues, see test cases, and observe coding style in a “learning through code” fashion. ... -
13
wxPHP
PHP bindings for the cross-platform GUI library wxWidgets.
wxPHP is a php binding/wrapper for the cross-platform library wxWidgets, which gives you the ability to develop desktop applications using the php programming language. This applications can be executed on windows, linux and macosx using the same code base with a native look and feel. One of the ideas is that you can use your php web applications code base and logic to create native desktop applications that communicate to them transparently. This way you can give your users a seamless and native experience from the desktop while staying in sync with your web apps. ... -
14
redux-rx
RxJS utilities for Redux
...It also introduces an observable-based middleware that complies with Flux Standard Actions, ensuring compatibility with Redux conventions. By leveraging RxJS, developers can compose complex asynchronous logic in a declarative and composable way. The project is particularly useful for applications that require real-time data handling, event streams, or complex side-effect management. -
15
Qore Programming Language
Multithreaded scripting language
Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore -
16
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. -
17
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. -
18
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. ... -
19
GambleKit
C++ Framework for slot machine games
GambleKit is a free open-source C++ object oriented library for quick and easy building of slot machine and gambling games with reels and GUI management. It relies basically on declarative programming style, so the programmer needs simply to declare, for example at creation time, the basic layout and behavior of the game, and then leave the game flow, requiring as little additional intervention as possible. The project is welcoming contributors and feedback is appreciated! The next... -
20
-
21
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...
-
22
Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
-
23
This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.
-
24
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... -
25
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.
