Search Results for "logic programming"
Sort By:
Showing 11 open source projects for "logic programming"
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.
-
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.
-
1
TypeGPU
A modular and open-ended toolkit for WebGPU
TypeGPU is a modular TypeScript toolkit for working with WebGPU in a more type-safe and developer-friendly way. It lets developers define GPU logic with advanced type inference while still targeting WebGPU and WGSL-based execution. The project is designed for graphics, compute shaders, GPU programming, and high-performance browser or React Native experiments. It can generate WGSL from TypeScript-style functions, helping developers keep GPU code closer to the rest of their application logic. ... -
2
SocratiCode
Enterprise-grade (40m+ LOC) codebase intelligence
SocratiCode is an AI-assisted learning tool that applies the Socratic method to programming education, guiding users through problem-solving rather than directly providing answers. It encourages critical thinking by asking structured questions that lead developers toward discovering solutions on their own. The system is designed to improve understanding of programming concepts through iterative reasoning and dialogue. -
3
Rivet
Visual AI IDE for building agents with prompt chains and graphs
Rivet is an open source visual AI programming environment designed to help developers build complex AI agents using a node-based interface and prompt chaining workflows. It provides a desktop application that allows users to visually construct and debug AI logic as interconnected graphs, making it easier to manage sophisticated interactions between language models and external tools. -
4
io-ts
Runtime type system for IO decoding/encoding
...It solves a common TypeScript limitation: static types disappear at runtime, but external inputs still need to be checked safely. The library lets developers define codecs that represent both runtime validation logic and static TypeScript types. This approach is especially useful for APIs, configuration files, JSON payloads, database results, and any data that enters a program from an unknown source. io-ts integrates closely with functional programming patterns and the fp-ts ecosystem. Its main value is helping TypeScript applications keep runtime data validation aligned with compile-time type inference. -
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.
-
5
swark.io
Create architecture diagrams from code automatically using LLMs
...The tool integrates with GitHub Copilot and the VS Code environment, allowing developers to generate diagrams with minimal setup and without requiring additional authentication or API configuration. Because the logic of understanding code structure is handled by an LLM, Swark can support many programming languages and frameworks without requiring custom rules for each language. -
6
Activepieces
Open Source AI Automation
Activepieces is an open-source automation tool designed to build workflows that connect different apps and services without requiring extensive programming knowledge. It’s tailored for technical and non-technical users alike, enabling teams to automate repetitive tasks using a visual editor and a large library of pre-built connectors. Activepieces can be self-hosted or used via a cloud deployment, making it flexible for teams of all sizes. It supports integrations with popular services like... -
7
type-fest
A collection of essential TypeScript types
...It provides types like Except, Merge, LiteralUnion, Writable, Promisable, PartialDeep, JsonObject, and many others that solve everyday typing needs in complex TypeScript codebases. Developers pull in just the types they need, which makes code more expressive and safer without reinventing tricky type logic. Because many of the types in type-fest are things “that should have been built-in,” it’s widely adopted across TypeScript projects that need more advanced static typing capabilities. The package is modular, well documented, and regularly maintained to stay compatible with evolving TypeScript versions and features. It plays a central role in type-heavy codebases (frameworks, utilities, libraries) by reducing repetition and giving reliable tools for type-level programming. -
8
Default composer
JavaScript library to set default values for nested objects
..."default-composer" is a JavaScript library that allows you to set default values for nested objects. The library replaces empty strings/arrays/objects, null, or undefined values in an existing object with the defined default values, which helps simplify programming logic and reduce the amount of code needed to set default values. To use "default-composer", simply import the library and call the defaultComposer() function with the default values object and the original object that you want to set default values for. -
9
Wechaty
Conversational RPA SDK for chatbot makers
...Wechaty support lots of popular instant messaging platforms. And you can write Wechaty in almost all popular programming languages. -
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
ReactXP
Library for cross-platform app development
ReactXP builds on the popular React JS and React Native frameworks. Share most of your code between the web, iOS, Android, and Windows. Create great-looking, responsive web pages and mobile apps that feel native. With React and React Native, your web app can share most its logic with your iOS and Android apps, but the view layer needs to be implemented separately for each platform. We have taken this a step further and developed a thin cross-platform layer we call ReactXP. If you write your... -
11
WarriorJS
JavaScript coding game where players program a warrior to win battles
...WarriorJS combines game mechanics with programming concepts, allowing players to experiment with logic, algorithms, and problem solving while progressing through increasingly difficult levels. WarriorJS can be played through a command line interface, enabling developers to interact with the game directly in a terminal environment. It is organized as a modular monorepo containing several packages that implement the core game engine.
- Previous
- You're on page 1
- Next
