612 skills found · Page 1 of 21
flydelabs / FlydeOpen-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.
EvgSkv / LogicaLogica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
OpenSPG / OpenspgOpenSPG is a Knowledge Graph Engine developed by Ant Group in collaboration with OpenKG, based on the SPG (Semantic-enhanced Programmable Graph) framework. Core Capabilities: 1) domain model constrained knowledge modeling, 2) facts and logic fused representation, 3) natively support KAG...
clojure / Core.logicA logic programming library for Clojure & ClojureScript
souffle-lang / SouffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
mcsoto / LogicJSLogic programming for JavaScript.
Mercury-Language / MercuryThe Mercury logic programming system.
logpy / LogpyLogic Programming in Python
deepnoodle-ai / RisorRisor is a fast, embeddable scripting language for Go applications. Add dynamic expressions, filters, and user-defined logic to your Go programs without embedding a heavy runtime like V8 or Python. Expressions compile to bytecode and run on a lightweight VM. Pure Go, minimal dependencies.
potassco / Clingo🦉 A grounder and solver for logic programs.
faiface / Par LangPar (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
s-arash / AscentLogic programming in Rust
bperez77 / Xilinx AxidmaA zero-copy Linux driver and a userspace interface library for Xilinx's AXI DMA and VDMA IP blocks. These serve as bridges for communication between the processing system and FPGA programmable logic fabric, through one of the DMA ports on the Zynq processing system. Distributed under the MIT License.
blindma1den / Programming Skills Level0This repository contains a series of entry-level exercises that can be solved in any programming language. The purpose of these exercises is to develop your programming logic. This repository is the first in a series of more exercises to improve your programming skills.
LogtalkDotOrg / Logtalk3Logtalk - declarative object-oriented logic programming language
ML-KULeuven / ProblogProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
microsoft / SLAyerSLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
ML-KULeuven / DeepproblogDeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
LukasZahradnik / PyNeuraLogicPyNeuraLogic lets you use Python to create Differentiable Logic Programs
TheFuseLab / VL.FuseA library for visually programming on the GPU, built to enable rapid workflows and modular approaches to accelerated graphics, logic and computation.
