Declarative programming topic
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.
clingo
🤔 A grounder and solver for logic programs.
Functional-Programming-101-Java
Functional programming course
kitten
A small C++17 library inspired by Category Theory.
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
ApiLogicServer-src
Create an executable project (API and Admin App) from a database with 1 command, customize with rules and Python in your IDE