https://github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages
https://github.com/querycert/qcert

Keywords

compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler

Keywords from Contributors

transforms measur archiving pipeline-testing generic animals compose optimize observation conversion

Last synced: 11 months ago
JSON representation

Acceptance Criteria

Revelant topics? true
External users? true
Open source license? true
Active? true
Fork? false

Repository metadata

Compilation and Verification of Data-Centric Languages

Host: GitHub
URL: https://github.com/querycert/qcert
Owner: querycert
License: apache-2.0
Created: 2016-06-11T13:44:32.000Z (almost 9 years ago)
Default Branch: master
Last Pushed: 2023-07-08T16:39:33.000Z (almost 2 years ago)
Last Synced: 2024-05-17T08:24:41.363Z (12 months ago)
Topics: compiler, coq-proof-assistant, functional-programming, query-engine, query-language, sql, verification, verified-compiler
Language: Coq
Homepage: https://querycert.github.io/
Size: 28.7 MB
Stars: 55
Watchers: 6
Forks: 9
Open Issues: 34
Releases: 0
Metadata Files:
- Readme: README-ODM.md
- License: LICENSE

Owner metadata

Name: Q*cert
Login: querycert
Email:
Kind: organization
Description: Verified Data Languages Compiler
Website:
Location:
Twitter:
Company:
Icon url: https://avatars.githubusercontent.com/u/19874031?v=4
Repositories: 6
Last ynced at: 2024-03-27T08:06:29.550Z
Profile URL: https://github.com/querycert

GitHub Events

Total

Create event: 87
Commit comment event: 27
Release event: 19
Issues event: 174
Watch event: 64
Delete event: 64
Member event: 1
Issue comment event: 262
Push event: 1459
Pull request review event: 12
Pull request event: 145
Fork event: 13

Last Year

Delete event: 2
Issues event: 1
Pull request event: 8
Pull request review event: 2
Push event: 15
Watch event: 2

Committers metadata

Last synced: 12 months ago

Total Commits: 2,051
Total Committers: 16
Avg Commits per committer: 128.188
Development Distribution Score (DDS): 0.64

Commits in past year: 41
Committers in past year: 1
Avg Commits per committer in past year: 41.0
Development Distribution Score (DDS) in past year: 0.0

Name	Email	Commits
Jerome Simeon	s**n@u**m	739
Jerome Simeon	j**n@m**m	301
Joshua Auerbach	j**n@g**m	300
Avi Shinnar	s**r@u**m	247
Louis Mandel	l**l@u**m	186
Stefan Fehrenbach	s**n@u**m	86
Patrik Keller	p**k@k**e	66
Stefan Fehrenbach	s**h@g**m	56
Patrik Keller	g**t@p**v	45
joshuaauerbach	j**h@j**p	7
dependabot[bot]	4****]	5
Chantal Keller	C**r@l**r	4
shinnar	s****r	3
Jerome Simeon	J**n@d**m	2
houssem	h**m@l**r	2
Jerome Simeon	j****n	2

Committer domains:

Issue and Pull Request metadata

Last synced: 12 months ago

Total issues: 44
Total pull requests: 60
Average time to close issues: 10 months
Average time to close pull requests: 26 days
Total issue authors: 6
Total pull request authors: 6
Average comments per issue: 1.75
Average comments per pull request: 0.43
Merged pull request: 55
Bot issues: 0
Bot pull requests: 6

Past year issues: 1
Past year pull requests: 3
Past year average time to close issues: N/A
Past year average time to close pull requests: about 3 hours
Past year issue authors: 1
Past year pull request authors: 1
Past year average comments per issue: 0.0
Past year average comments per pull request: 0.0
Past year merged pull request: 3
Past year bot issues: 0
Past year bot pull requests: 0

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/querycert/qcert

Top Issue Authors

jeromesimeon (25)
pkel (10)
shinnar (4)
joshuaauerbachwatson (2)
mandel (2)
kach (1)

Top Pull Request Authors

jeromesimeon (40)
dependabot[bot] (6)
pkel (5)
shinnar (4)
mandel (3)
ckeller (2)

Top Issue Labels

enhancement (10)
bug (8)
feature (7)
coq (5)
Backend: WASM (4)
javascript (4)
infrastructure (4)
backend (3)
help wanted (2)
testing (2)
chore (2)
cleanup (1)
webdemo (1)
question (1)

Top Pull Request Labels

dependencies (6)
Backend: WASM (1)

Package metadata

Total packages: 6
Total downloads:
- npm: 58 last-month
Total dependent packages: 9 (may contain duplicates)
Total dependent repositories: 2 (may contain duplicates)
Total versions: 42
Total maintainers: 1

proxy.golang.org: github.com/querycert/qcert

Homepage:
Documentation: https://pkg.go.dev/github.com/querycert/qcert#section-documentation
Licenses: apache-2.0
Latest release: v2.2.0+incompatible (published almost 3 years ago)
Last Synced: 2024-05-26T15:01:13.455Z (12 months ago)
Versions: 16
Dependent Packages: 0
Dependent Repositories: 0
Rankings:
- Dependent packages count: 9.016%
- Average: 9.591%
- Dependent repos count: 10.166%

npmjs.org: qcert

The Q*cert compiler

Homepage: https://querycert.github.io/index.html
Licenses: Apache-2.0
Latest release: 1.4.1 (published over 5 years ago)
Last Synced: 2024-05-25T12:02:25.201Z (12 months ago)
Versions: 12
Dependent Packages: 1
Dependent Repositories: 2
Downloads: 17 Last month
Rankings:
- Stargazers count: 5.912%
- Forks count: 6.539%
- Dependent repos count: 7.618%
- Average: 12.512%
- Dependent packages count: 20.923%
- Downloads: 21.566%
Maintainers (1)
- jsimeon

npmjs.org: qcert-runtime-js

The Q*cert compiler JavaScript runtime

Homepage: https://querycert.github.io/index.html
Licenses: Apache-2.0
Latest release: 3.0.0-alpha.5 (published almost 3 years ago)
Last Synced: 2024-05-25T08:40:11.202Z (12 months ago)
Versions: 5
Dependent Packages: 3
Dependent Repositories: 0
Downloads: 11 Last month
Rankings:
- Dependent packages count: 6.927%
- Stargazers count: 8.642%
- Forks count: 8.874%
- Average: 15.66%
- Dependent repos count: 25.306%
- Downloads: 28.552%
Maintainers (1)
- jsimeon

npmjs.org: qcert-compiler

The Q*cert compiler API

Homepage: https://querycert.github.io/index.html
Licenses: Apache-2.0
Latest release: 3.0.0-alpha.5 (published almost 3 years ago)
Last Synced: 2024-05-26T01:01:35.744Z (12 months ago)
Versions: 5
Dependent Packages: 3
Dependent Repositories: 0
Downloads: 13 Last month
Rankings:
- Dependent packages count: 6.927%
- Stargazers count: 8.642%
- Forks count: 8.874%
- Average: 16.949%
- Dependent repos count: 25.306%
- Downloads: 34.995%
Maintainers (1)
- jsimeon

npmjs.org: qcert-cli

The Q*cert compiler

Homepage: https://querycert.github.io/index.html
Licenses: Apache-2.0
Latest release: 3.0.0-alpha.4 (published almost 3 years ago)
Last Synced: 2024-05-25T14:41:03.709Z (12 months ago)
Versions: 3
Dependent Packages: 1
Dependent Repositories: 0
Downloads: 12 Last month
Rankings:
- Stargazers count: 8.642%
- Forks count: 8.874%
- Dependent packages count: 16.22%
- Average: 18.276%
- Dependent repos count: 25.306%
- Downloads: 32.34%
Maintainers (1)
- jsimeon

npmjs.org: qcert-runtime-wasm

The Q*cert compiler WASM runtime

Homepage: https://querycert.github.io/index.html
Licenses: Apache-2.0
Latest release: 3.0.0-alpha.5 (published almost 3 years ago)
Last Synced: 2024-05-25T11:00:31.263Z (12 months ago)
Versions: 1
Dependent Packages: 1
Dependent Repositories: 0
Downloads: 5 Last month
Rankings:
- Stargazers count: 8.642%
- Forks count: 8.874%
- Dependent packages count: 16.22%
- Average: 20.148%
- Dependent repos count: 25.306%
- Downloads: 41.7%
Maintainers (1)
- jsimeon

Dependencies

cli/nodejs/package.json npm

typescript ^2.6.2 development
fast-safe-stringify 2.0.7
jsome 2.5.0
triple-beam 1.3.0
winston 3.2.1
yargs 13.2.4

documentation/figure/package-lock.json npm

@types/node 8.10.8 development
typescript 2.8.1 development

documentation/figure/package.json npm

@types/node ^8.0.31 development
typescript ^2.5.2 development

runtimes/assemblyscript/package.json npm

assemblyscript ^0.12.5 development
assemblyscript-regex ^1.6.3 development
chai ^4.2.0 development
lodash ^4.17.15 development
mocha ^8.0.1 development
@assemblyscript/loader 0.0.0

compiler/libJS/package.json npm

typescript ^2.6.2 development

package-lock.json npm

124 dependencies

package.json npm

runtimes/javascript/package.json npm

Score: 11.50972033402128

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology