Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / formal-land/coq-of-js issues and pull requests
#65 - Request? Export executable or library function to compile to file
Issue -
State: open - Opened by chrisnevers 10 months ago
- 2 comments
#65 - Request? Export executable or library function to compile to file
Issue -
State: open - Opened by chrisnevers 10 months ago
- 2 comments
#64 - Bump semver from 5.7.0 to 5.7.2
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#63 - Bump json5 from 1.0.1 to 1.0.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#63 - Bump json5 from 1.0.1 to 1.0.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#62 - Bump express from 4.16.4 to 4.18.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#62 - Bump express from 4.16.4 to 4.18.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#61 - Bump decode-uri-component from 0.2.0 to 0.2.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#61 - Bump decode-uri-component from 0.2.0 to 0.2.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#60 - Bump terser from 4.1.4 to 4.8.1
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#60 - Bump terser from 4.1.4 to 4.8.1
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#59 - Bump eventsource from 1.0.7 to 1.1.1
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#59 - Bump eventsource from 1.0.7 to 1.1.1
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#58 - Bump url-parse from 1.4.7 to 1.5.10
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#58 - Bump url-parse from 1.4.7 to 1.5.10
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#57 - Bump url-parse from 1.4.7 to 1.5.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#56 - Bump follow-redirects from 1.7.0 to 1.14.8
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#56 - Bump follow-redirects from 1.7.0 to 1.14.8
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#55 - Bump ajv from 6.10.0 to 6.12.6
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#55 - Bump ajv from 6.10.0 to 6.12.6
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#54 - Bump node-fetch from 2.6.0 to 2.6.7
Pull Request -
State: open - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#53 - Bump shelljs from 0.8.3 to 0.8.5
Pull Request -
State: open - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#53 - Bump shelljs from 0.8.3 to 0.8.5
Pull Request -
State: open - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#52 - Bump follow-redirects from 1.7.0 to 1.14.7
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
- 1 comment
Labels: dependencies
#52 - Bump follow-redirects from 1.7.0 to 1.14.7
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
- 1 comment
Labels: dependencies
#51 - Bump url-parse from 1.4.7 to 1.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#51 - Bump url-parse from 1.4.7 to 1.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#50 - Bump tmpl from 1.0.4 to 1.0.5
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#50 - Bump tmpl from 1.0.4 to 1.0.5
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#49 - Bump tar from 4.4.8 to 4.4.19
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#49 - Bump tar from 4.4.8 to 4.4.19
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#48 - Bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#48 - Bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#47 - Bump tar from 4.4.8 to 4.4.15
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#47 - Bump tar from 4.4.8 to 4.4.15
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#46 - Bump merge-deep from 3.0.2 to 3.0.3
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#46 - Bump merge-deep from 3.0.2 to 3.0.3
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#45 - Bump dns-packet from 1.3.1 to 1.3.4
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#45 - Bump dns-packet from 1.3.1 to 1.3.4
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#44 - Bump hosted-git-info from 2.7.1 to 2.8.9
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#44 - Bump hosted-git-info from 2.7.1 to 2.8.9
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#43 - Bump url-parse from 1.4.7 to 1.5.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 4 years ago
- 1 comment
Labels: dependencies
#42 - Bump handlebars from 4.5.3 to 4.7.7
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#42 - Bump handlebars from 4.5.3 to 4.7.7
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#41 - Bump ssri from 6.0.1 to 6.0.2
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#41 - Bump ssri from 6.0.1 to 6.0.2
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#40 - Bump elliptic from 6.4.1 to 6.5.4
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#40 - Bump elliptic from 6.4.1 to 6.5.4
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#39 - Bump ini from 1.3.5 to 1.3.8
Pull Request -
State: open - Opened by dependabot[bot] about 4 years ago
Labels: dependencies
#39 - Bump ini from 1.3.5 to 1.3.8
Pull Request -
State: open - Opened by dependabot[bot] about 4 years ago
Labels: dependencies
#38 - Bump node-fetch from 2.6.0 to 2.6.1
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 2 comments
Labels: dependencies
#38 - Bump node-fetch from 2.6.0 to 2.6.1
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 2 comments
Labels: dependencies
#37 - Bump http-proxy from 1.17.0 to 1.18.1
Pull Request -
State: open - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#37 - Bump http-proxy from 1.17.0 to 1.18.1
Pull Request -
State: open - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#36 - Bump elliptic from 6.4.1 to 6.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 2 comments
Labels: dependencies
#36 - Bump elliptic from 6.4.1 to 6.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 2 comments
Labels: dependencies
#35 - Bump websocket-extensions from 0.1.3 to 0.1.4
Pull Request -
State: open - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#35 - Bump websocket-extensions from 0.1.3 to 0.1.4
Pull Request -
State: open - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#34 - Bump https-proxy-agent from 2.2.2 to 2.2.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#34 - Bump https-proxy-agent from 2.2.2 to 2.2.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#33 - Bump acorn from 5.7.3 to 5.7.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#33 - Bump acorn from 5.7.3 to 5.7.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#32 - Bump handlebars from 4.1.2 to 4.5.3
Pull Request -
State: closed - Opened by dependabot[bot] about 5 years ago
- 1 comment
Labels: dependencies
#32 - Bump handlebars from 4.1.2 to 4.5.3
Pull Request -
State: closed - Opened by dependabot[bot] about 5 years ago
- 1 comment
Labels: dependencies
#31 - Add record update
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#31 - Add record update
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#30 - Fix destructuring of sum types for Flow
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#30 - Fix destructuring of sum types for Flow
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#29 - Add support or error messages for all the type syntax
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#29 - Add support or error messages for all the type syntax
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#28 - Add destructuring on sum types
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#28 - Add destructuring on sum types
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#27 - Add multiple cases and default case in switches
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#27 - Add multiple cases and default case in switches
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#26 - Complete enums
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#25 - Complete record syntax
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#25 - Complete record syntax
Pull Request -
State: closed - Opened by clarus about 5 years ago
- 1 comment
#24 - Add codecov
Pull Request -
State: closed - Opened by clarus about 5 years ago
#24 - Add codecov
Pull Request -
State: closed - Opened by clarus about 5 years ago
#23 - Use a smaller header for small screens
Pull Request -
State: closed - Opened by clarus over 5 years ago
#23 - Use a smaller header for small screens
Pull Request -
State: closed - Opened by clarus over 5 years ago
#22 - Add a basic header
Pull Request -
State: closed - Opened by clarus over 5 years ago
#22 - Add a basic header
Pull Request -
State: closed - Opened by clarus over 5 years ago
#21 - Put the generated Coq and error messages on the left
Pull Request -
State: closed - Opened by clarus over 5 years ago
#21 - Put the generated Coq and error messages on the left
Pull Request -
State: closed - Opened by clarus over 5 years ago
#20 - Error message for all cases
Pull Request -
State: closed - Opened by clarus over 5 years ago
- 1 comment
#19 - More tests
Pull Request -
State: closed - Opened by clarus over 5 years ago
#18 - Deploy on gh pages
Pull Request -
State: closed - Opened by clarus over 5 years ago
#17 - Improve demo
Pull Request -
State: closed - Opened by clarus over 5 years ago
#16 - Add destructuring
Pull Request -
State: closed - Opened by clarus over 5 years ago
- 1 comment
#15 - Add object expressions
Pull Request -
State: closed - Opened by clarus over 5 years ago
#14 - Add records
Pull Request -
State: closed - Opened by clarus over 5 years ago
#13 - Add coverage
Pull Request -
State: closed - Opened by clarus over 5 years ago
#12 - Add sum types
Pull Request -
State: closed - Opened by clarus over 5 years ago
#11 - Add type enums
Pull Request -
State: closed - Opened by clarus over 5 years ago
#10 - Add Jest tests
Pull Request -
State: closed - Opened by clarus over 5 years ago
#9 - Add support type aliases and React imports
Pull Request -
State: closed - Opened by clarus over 5 years ago
#8 - Bump eslint-utils from 1.3.1 to 1.4.2
Pull Request -
State: closed - Opened by dependabot[bot] over 5 years ago
Labels: dependencies
#7 - Bump mixin-deep from 1.3.1 to 1.3.2
Pull Request -
State: closed - Opened by dependabot[bot] over 5 years ago
Labels: dependencies
#6 - Bump lodash.template from 4.4.0 to 4.5.0
Pull Request -
State: closed - Opened by dependabot[bot] over 5 years ago
Labels: dependencies