René's URL Explorer Experiment


Title: GitHub - EvgSkv/logica: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Open Graph Title: GitHub - EvgSkv/logica: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

X Title: GitHub - EvgSkv/logica: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Description: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite. - EvgSkv/logica

Open Graph Description: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite. - EvgSkv/logica

X Description: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite. - EvgSkv/logica

Opengraph URL: https://github.com/EvgSkv/logica

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:fd8e0ab2-ed8e-1fc9-5daa-d47e301a3f48
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idED10:1775E5:161A6E:1D18FE:698D24AF
html-safe-nonce757f1c4da1c48c25c7bdd8202585374966e8dabc56e6eaeee1fe6a34519b8863
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFRDEwOjE3NzVFNToxNjFBNkU6MUQxOEZFOjY5OEQyNEFGIiwidmlzaXRvcl9pZCI6IjcxMTQ0NjU5MTU3MjczMjQzMzUiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacd3b8f9c1937f815e3f2fd4d93ffcc769a274f62b855fceef5c6e93e051684694
hovercard-subject-tagrepository:302758707
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/EvgSkv/logica
twitter:imagehttps://repository-images.githubusercontent.com/302758707/1bc14b8b-c6d3-4b00-847d-28ec8d105196
twitter:cardsummary_large_image
og:imagehttps://repository-images.githubusercontent.com/302758707/1bc14b8b-c6d3-4b00-847d-28ec8d105196
og:image:altLogica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite. - EvgSkv/logica
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonec25395580e1e3bf82d705e0982a1b24255366088720fef945f1493d5e3e67954
turbo-cache-controlno-preview
go-importgithub.com/EvgSkv/logica git https://github.com/EvgSkv/logica.git
octolytics-dimension-user_id71790359
octolytics-dimension-user_loginEvgSkv
octolytics-dimension-repository_id302758707
octolytics-dimension-repository_nwoEvgSkv/logica
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id302758707
octolytics-dimension-repository_network_root_nwoEvgSkv/logica
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release1fa2bc33fc715bfb2cb9dd8a9cad4f811c16c371
ui-targetcanary-2
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/EvgSkv/logica#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FEvgSkv%2Flogica
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FEvgSkv%2Flogica
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=EvgSkv%2Flogica
Reloadhttps://patch-diff.githubusercontent.com/EvgSkv/logica
Reloadhttps://patch-diff.githubusercontent.com/EvgSkv/logica
Reloadhttps://patch-diff.githubusercontent.com/EvgSkv/logica
EvgSkv https://patch-diff.githubusercontent.com/EvgSkv
logicahttps://patch-diff.githubusercontent.com/EvgSkv/logica
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
Fork 108 https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
Star 2.1k https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
logica.devhttps://logica.dev
Apache-2.0 license https://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/LICENSE
2.1k stars https://patch-diff.githubusercontent.com/EvgSkv/logica/stargazers
108 forks https://patch-diff.githubusercontent.com/EvgSkv/logica/forks
Branches https://patch-diff.githubusercontent.com/EvgSkv/logica/branches
Tags https://patch-diff.githubusercontent.com/EvgSkv/logica/tags
Activity https://patch-diff.githubusercontent.com/EvgSkv/logica/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
Code https://patch-diff.githubusercontent.com/EvgSkv/logica
Issues 40 https://patch-diff.githubusercontent.com/EvgSkv/logica/issues
Pull requests 0 https://patch-diff.githubusercontent.com/EvgSkv/logica/pulls
Discussions https://patch-diff.githubusercontent.com/EvgSkv/logica/discussions
Actions https://patch-diff.githubusercontent.com/EvgSkv/logica/actions
Projects 0 https://patch-diff.githubusercontent.com/EvgSkv/logica/projects
Wiki https://patch-diff.githubusercontent.com/EvgSkv/logica/wiki
Security 0 https://patch-diff.githubusercontent.com/EvgSkv/logica/security
Insights https://patch-diff.githubusercontent.com/EvgSkv/logica/pulse
Code https://patch-diff.githubusercontent.com/EvgSkv/logica
Issues https://patch-diff.githubusercontent.com/EvgSkv/logica/issues
Pull requests https://patch-diff.githubusercontent.com/EvgSkv/logica/pulls
Discussions https://patch-diff.githubusercontent.com/EvgSkv/logica/discussions
Actions https://patch-diff.githubusercontent.com/EvgSkv/logica/actions
Projects https://patch-diff.githubusercontent.com/EvgSkv/logica/projects
Wiki https://patch-diff.githubusercontent.com/EvgSkv/logica/wiki
Security https://patch-diff.githubusercontent.com/EvgSkv/logica/security
Insights https://patch-diff.githubusercontent.com/EvgSkv/logica/pulse
Brancheshttps://patch-diff.githubusercontent.com/EvgSkv/logica/branches
Tagshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tags
https://patch-diff.githubusercontent.com/EvgSkv/logica/branches
https://patch-diff.githubusercontent.com/EvgSkv/logica/tags
1,218 Commitshttps://patch-diff.githubusercontent.com/EvgSkv/logica/commits/main/
https://patch-diff.githubusercontent.com/EvgSkv/logica/commits/main/
.githubhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/.github
.githubhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/.github
commonhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/common
commonhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/common
compilerhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/compiler
compilerhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/compiler
docshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/docs
docshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/docs
exampleshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/examples
exampleshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/examples
integration_testshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/integration_tests
integration_testshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/integration_tests
libhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/lib
libhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/lib
parser_pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/parser_py
parser_pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/parser_py
syntaxhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/syntax
syntaxhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/syntax
toolshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/tools
toolshttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/tools
tutorialhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/tutorial
tutorialhttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/tutorial
type_inferencehttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/type_inference
type_inferencehttps://patch-diff.githubusercontent.com/EvgSkv/logica/tree/main/type_inference
.DS_Storehttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/.DS_Store
.DS_Storehttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/.DS_Store
.gitignorehttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/.gitignore
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/CONTRIBUTING.md
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/CONTRIBUTING.md
LICENSEhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/LICENSE
README.mdhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/README.md
README.mdhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/README.md
colab_logica.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/colab_logica.py
colab_logica.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/colab_logica.py
logicahttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/logica
logicahttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/logica
logica.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/logica.py
logica.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/logica.py
run_all_tests.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/run_all_tests.py
run_all_tests.pyhttps://patch-diff.githubusercontent.com/EvgSkv/logica/blob/main/run_all_tests.py
READMEhttps://patch-diff.githubusercontent.com/EvgSkv/logica
Contributinghttps://patch-diff.githubusercontent.com/EvgSkv/logica
Apache-2.0 licensehttps://patch-diff.githubusercontent.com/EvgSkv/logica
https://patch-diff.githubusercontent.com/EvgSkv/logica#logica-language-of-big-data
Yedaloghttps://research.google/pubs/pub43462/
https://patch-diff.githubusercontent.com/EvgSkv/logica#why
BigQueryhttps://cloud.google.com/bigquery
Postgreshttps://postgresql.org
SQLitehttps://www.sqlite.org/
https://patch-diff.githubusercontent.com/EvgSkv/logica#i-have-not-heard-of-logic-programming-what-is-it
https://patch-diff.githubusercontent.com/EvgSkv/logica#how-does-logica-work
https://patch-diff.githubusercontent.com/EvgSkv/logica#why-is-it-called-logica
https://patch-diff.githubusercontent.com/EvgSkv/logica#how-to-learn
CoLab tutorialhttps://colab.research.google.com/github/EvgSkv/logica/blob/main/tutorial/Logica_DuckDB_tutorial.ipynb
tutorialhttps://github.com/EvgSkv/logica/tree/main/tutorial
exampleshttps://github.com/EvgSkv/logica/tree/main/examples
https://patch-diff.githubusercontent.com/EvgSkv/logica#prerequisites
Google Cloud Projecthttps://console.cloud.google.com/projectcreate
Python3https://www.python.org/downloads/
command line toolhttps://cloud.google.com/bigquery/docs/bq-command-line-tool
Google Cloud SDKhttps://cloud.google.com/sdk/docs/install
https://patch-diff.githubusercontent.com/EvgSkv/logica#installation
Hello World examplehttps://colab.research.google.com/github/EvgSkv/logica/blob/main/examples/Logica_example_Hello_World.ipynb
https://patch-diff.githubusercontent.com/EvgSkv/logica#code-samples
https://patch-diff.githubusercontent.com/EvgSkv/logica#prime-numbers
https://patch-diff.githubusercontent.com/EvgSkv/logica#cities-with-largest-beer-variety
plotlyhttps://github.com/plotly/datasets/blob/master/beers.csv
https://patch-diff.githubusercontent.com/EvgSkv/logica#citations
Logica publicationshttps://logica-lang.github.io/publications/
https://patch-diff.githubusercontent.com/EvgSkv/logica#feedback
github issueshttps://github.com/EvgSkv/logica/issues
github discussionshttps://github.com/EvgSkv/logica/discussions
logica.devhttps://logica.dev
language https://patch-diff.githubusercontent.com/topics/language
bigquery https://patch-diff.githubusercontent.com/topics/bigquery
sql https://patch-diff.githubusercontent.com/topics/sql
presto https://patch-diff.githubusercontent.com/topics/presto
sqlite https://patch-diff.githubusercontent.com/topics/sqlite
postgresql https://patch-diff.githubusercontent.com/topics/postgresql
prolog https://patch-diff.githubusercontent.com/topics/prolog
prolog-implementation https://patch-diff.githubusercontent.com/topics/prolog-implementation
datalog https://patch-diff.githubusercontent.com/topics/datalog
logic-programming https://patch-diff.githubusercontent.com/topics/logic-programming
logica https://patch-diff.githubusercontent.com/topics/logica
trino https://patch-diff.githubusercontent.com/topics/trino
Readme https://patch-diff.githubusercontent.com/EvgSkv/logica#readme-ov-file
Apache-2.0 license https://patch-diff.githubusercontent.com/EvgSkv/logica#Apache-2.0-1-ov-file
Contributing https://patch-diff.githubusercontent.com/EvgSkv/logica#contributing-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/EvgSkv/logica
Activityhttps://patch-diff.githubusercontent.com/EvgSkv/logica/activity
2.1k starshttps://patch-diff.githubusercontent.com/EvgSkv/logica/stargazers
38 watchinghttps://patch-diff.githubusercontent.com/EvgSkv/logica/watchers
108 forkshttps://patch-diff.githubusercontent.com/EvgSkv/logica/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2FEvgSkv%2Flogica&report=EvgSkv+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/EvgSkv/logica/releases
Packages 0https://patch-diff.githubusercontent.com/users/EvgSkv/packages?repo_name=logica
Contributors 21https://patch-diff.githubusercontent.com/EvgSkv/logica/graphs/contributors
https://github.com/EvgSkv
https://github.com/ksyusha123
https://github.com/Themplarer
https://github.com/yilinxia
https://github.com/artemworld
https://github.com/EricWay1024
https://github.com/skvortsoves
https://github.com/OjaswaGarg
https://github.com/smdesai
https://github.com/rskew
https://github.com/rvalek
https://github.com/odanoburu
https://github.com/RAbraham
https://github.com/wdduncan
+ 7 contributorshttps://patch-diff.githubusercontent.com/EvgSkv/logica/graphs/contributors
Jupyter Notebook 91.3% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=jupyter-notebook
Python 6.8% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=python
Common Lisp 1.1% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=common-lisp
Lex 0.8% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=lex
Vim Script 0.0% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=vim-script
Shell 0.0% https://patch-diff.githubusercontent.com/EvgSkv/logica/search?l=shell
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.