🤔 A grounder and solver for logic programs.
-
Updated
Apr 4, 2025 - C++
#
Declarative programming
Declarative programming is a programming paradigm characterized by describing the target state (or even just the problem itself in some cases) as opposed to specifying the concrete steps needed to reach that target state. The specific steps usually then get generated automatically at Compile Time.
Here are 6 public repositories matching this topic...
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
cpp functional-programming modern-cpp cpp17 monadic-interface cpp-library monad-library nullable-type declarative-programming optional-chaining optional-type
-
Updated
Jan 4, 2023 - C++
A small C++17 library inspired by Category Theory.
monads cpp functional-programming modern-cpp category-theory monadic-interface declarative-programming functors
-
Updated
Jan 4, 2023 - C++
This repository contains code for KOM200
-
Updated
Nov 16, 2021 - C++
An open-source PROS library that brings the Command-Based Programming paradigm to V5 Robotics in an intuitive way and memor-safe way.
-
Updated
Mar 9, 2025 - C++
Declarative scripting language experiment
game-development scripting-language declarative-language scripting-engine node-graph declarative-programming
-
Updated
Nov 17, 2023 - C++