René's URL Explorer Experiment


Title: GitHub - dbcert/dbcert: Runtime and runner for a compiler from SQL to JavaScript · GitHub

Open Graph Title: GitHub - dbcert/dbcert: Runtime and runner for a compiler from SQL to JavaScript

X Title: GitHub - dbcert/dbcert: Runtime and runner for a compiler from SQL to JavaScript

Description: Runtime and runner for a compiler from SQL to JavaScript - dbcert/dbcert

Open Graph Description: Runtime and runner for a compiler from SQL to JavaScript - dbcert/dbcert

X Description: Runtime and runner for a compiler from SQL to JavaScript - dbcert/dbcert

Opengraph URL: https://github.com/dbcert/dbcert

X: @github

direct link

Domain: github.com

react-profiling0
react-import-mapreact,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf
route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:3bcdc45c-1bcb-8d95-b928-c09458453679
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idD2C0:A1726:1087C4E:17945EB:6AF79AAC
html-safe-nonce4af229d67a54f6aee9af9f40838772c94d536957d0a482b08042ecd32e60d629
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMkMwOkExNzI2OjEwODdDNEU6MTc5NDVFQjo2QUY3OUFBQyIsInZpc2l0b3JfaWQiOiI4NzIyMTQzNDc1Mzk1OTU5NDY4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacac46f4171f2b625f7f61b7a50266a0d2414621a002d06c012fd63ef532a4139e
hovercard-subject-tagrepository:471400367
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/dbcert/dbcert
twitter:imagehttps://opengraph.githubassets.com/e323fe825a02ecaeac3529f49acc24919f0031952a53422fcb7e45e67a6bcd94/dbcert/dbcert
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/e323fe825a02ecaeac3529f49acc24919f0031952a53422fcb7e45e67a6bcd94/dbcert/dbcert
og:image:altRuntime and runner for a compiler from SQL to JavaScript - dbcert/dbcert
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonee75c22b260bb6a9abf44bf1d23f494058f205e925ed1574f1852a19652688883
turbo-cache-controlno-cache
go-importgithub.com/dbcert/dbcert git https://github.com/dbcert/dbcert.git
octolytics-dimension-user_id101881352
octolytics-dimension-user_logindbcert
octolytics-dimension-repository_id471400367
octolytics-dimension-repository_nwodbcert/dbcert
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id471400367
octolytics-dimension-repository_network_root_nwodbcert/dbcert
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
release72dac4b4321516949aefb48e4dedf717df4d495a
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/dbcert/dbcert#start-of-content
https://github.com/
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fdbcert%2Fdbcert
GitHubRepository hosting, code review, and collaborationhttps://github.com/platform
CopilotAI coding agent for tasks, projects, and automated workhttps://github.com/features/copilot
ActionsCI/CD and automationhttps://github.com/features/actions
Code QualityQuality analysis, fixes, and enforcementhttps://github.com/features/code-quality
CodespacesCloud development environmentshttps://github.com/features/codespaces
Code SecurityVulnerability detection and remediationhttps://github.com/security/advanced-security/code-security
Secret ProtectionSecret scanning and leak preventionhttps://github.com/security/advanced-security/secret-protection
All Featureshttps://github.com/features
Documentationhttps://docs.github.com/en
Traininghttps://learn.github.com/skills
Certificationshttps://learn.github.com/credentials
Build with Copilothttps://github.com/features/ai
Customize Copilothttps://docs.github.com/en/copilot/how-tos/copilot-on-github/customize-copilot/customize-copilot-overview
Integrationshttps://github.com/marketplace
Trending reposhttps://github.com/trending
GitHub Sponsorshttps://github.com/open-source/sponsors
Developer articleshttps://github.com/resources/articles
ChangelogYour source for the latest features, improvements, and fixes across GitHub products, all in one place.https://github.blog/changelog/
Enterpriseshttps://github.com/enterprise
Teamhttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
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
See all industrieshttps://github.com/solutions/industry
Why GitHubhttps://github.com/why-github
Customer Storieshttps://github.com/customer-stories
Business insightshttps://github.com/solutions/executive-insights
Trust Centerhttps://github.com/trust-center
GitHub Advanced SecurityEnterprise-grade code securityhttps://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/enterprise/premium-support
Documentationhttps://docs.github.com/en
Resource centerhttps://github.com/resources
Bloghttps://github.blog/
Events & webinarshttps://github.com/resources/events
Community Forumhttps://github.com/orgs/community/discussions
Customer Storieshttps://github.com/customer-stories
Integrationshttps://github.com/marketplace
Customer supporthttps://help.github.com/
Traininghttps://learn.github.com/skills
GitHub Statushttps://www.githubstatus.com/
Abouthttps://github.com/about
Partnershttps://github.com/partners
Changeloghttps://github.blog/changelog/
GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub.https://githubuniverse.com/
Pricinghttps://github.com/pricing
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fdbcert%2Fdbcert
Sign uphttps://github.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=dbcert%2Fdbcert
Reloadhttps://github.com/dbcert/dbcert
Reloadhttps://github.com/dbcert/dbcert
Reloadhttps://github.com/dbcert/dbcert
dbcerthttps://github.com/dbcert
dbcerthttps://github.com/dbcert/dbcert
Codehttps://github.com/dbcert/dbcert
Issueshttps://github.com/dbcert/dbcert/issues
Pull requestshttps://github.com/dbcert/dbcert/pulls
Actionshttps://github.com/dbcert/dbcert/actions
Projectshttps://github.com/dbcert/dbcert/projects
Security and qualityhttps://github.com/dbcert/dbcert/security
Insightshttps://github.com/dbcert/dbcert/pulse
https://github.com/dbcert/dbcert
dbcerthttps://github.com/dbcert/dbcert
Notificationshttps://github.com/login?return_to=%2Fdbcert%2Fdbcert
Fork2 (2)https://github.com/login?return_to=%2Fdbcert%2Fdbcert
Star8 (8)https://github.com/login?return_to=%2Fdbcert%2Fdbcert
Readmehttps://github.com/dbcert/dbcert#readme-ov-file
Apache-2.0 licensehttps://github.com/dbcert/dbcert#Apache-2.0-1-ov-file
Activityhttps://github.com/dbcert/dbcert/activity
Custom propertieshttps://github.com/dbcert/dbcert/custom-properties
2 forkshttps://github.com/dbcert/dbcert/forks
Report repositoryhttps://github.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fdbcert%2Fdbcert&report=dbcert+%28user%29
Brancheshttps://github.com/dbcert/dbcert/branches
Tagshttps://github.com/dbcert/dbcert/tags
https://github.com/dbcert/dbcert/branches
https://github.com/dbcert/dbcert/tags
13 Commitshttps://github.com/dbcert/dbcert/commits/main/
https://github.com/dbcert/dbcert/commits/main/
srchttps://github.com/dbcert/dbcert/tree/main/src
srchttps://github.com/dbcert/dbcert/tree/main/src
.gitignorehttps://github.com/dbcert/dbcert/blob/main/.gitignore
.gitignorehttps://github.com/dbcert/dbcert/blob/main/.gitignore
AUTHORShttps://github.com/dbcert/dbcert/blob/main/AUTHORS
AUTHORShttps://github.com/dbcert/dbcert/blob/main/AUTHORS
LICENSEhttps://github.com/dbcert/dbcert/blob/main/LICENSE
LICENSEhttps://github.com/dbcert/dbcert/blob/main/LICENSE
Makefilehttps://github.com/dbcert/dbcert/blob/main/Makefile
Makefilehttps://github.com/dbcert/dbcert/blob/main/Makefile
README.mdhttps://github.com/dbcert/dbcert/blob/main/README.md
README.mdhttps://github.com/dbcert/dbcert/blob/main/README.md
coq-dbcert.opamhttps://github.com/dbcert/dbcert/blob/main/coq-dbcert.opam
coq-dbcert.opamhttps://github.com/dbcert/dbcert/blob/main/coq-dbcert.opam
READMEhttps://github.com/dbcert/dbcert
Apache-2.0 licensehttps://github.com/dbcert/dbcert
https://github.com/dbcert/dbcert#dbcert
the Coq certified compiler from SQL to JavaScripthttps://framagit.org/formaldata/sqltonracert
https://github.com/dbcert/dbcert#requirements
https://github.com/dbcert/dbcert#install-nodejs
https://nodejs.org/en/download/releases/https://nodejs.org/en/download/releases/
https://github.com/dbcert/dbcert#install-opam
https://github.com/dbcert/dbcert#prepare-coq-dependencies
https://github.com/dbcert/dbcert#compilation
https://github.com/dbcert/dbcert#examples
https://github.com/dbcert/dbcert#license
https://github.com/dbcert/dbcert#companion-paper
Translating Canonical SQL to Imperative Code in Coqhttps://arxiv.org/abs/2203.08941
Proceedings of the ACM on Programming Languages, OOPSLA 2022https://2022.splashcon.org/track/splash-2022-oopsla
Readmehttps://github.com/dbcert/dbcert#readme-ov-file
Apache-2.0 licensehttps://github.com/dbcert/dbcert#Apache-2.0-1-ov-file
Activityhttps://github.com/dbcert/dbcert/activity
Custom propertieshttps://github.com/dbcert/dbcert/custom-properties
2 forkshttps://github.com/dbcert/dbcert/forks
Report repositoryhttps://github.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fdbcert%2Fdbcert&report=dbcert+%28user%29
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.