Logica
EvgSkv
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
DataSkill source unconfirmed
2.1KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic-programming”
1–8 / 8
More filters · 1
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 8
Mastering GitHub Copilot For Paired Programming
microsoft
A multi-module course teaching everything you need to know about using GitHub Copilot as an AI Peer Programming resource.
DataSkill source unconfirmed
8KGitHub
2.1KGitHub
The Complete FAANG Preparation
AkashSingh3031
Dive into this repository, a comprehensive resource covering Data Structures, Algorithms, 450 DSA by Love Babbar, Striver DSA sheet, Apna College DSA Sheet, and FAANG Qu…
DataSkill source unconfirmed
12.1KGitHub
Beam
apache
Apache Beam is a unified programming model for Batch and Streaming data processing.
DataSkill source unconfirmed
8.6KGitHub
Gonum
gonum
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
DataSkill source unconfirmed
8.4KGitHub
EsProc
SPLWare
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
DataSkill source unconfirmed
4.7KGitHub
Sqlancer
sqlancer
Automated testing to find logic and performance bugs in database systems
DataSkill source unconfirmed
1.7KGitHub