{"id":21538724,"url":"https://github.com/rocq-community/coqdocjs","last_synced_at":"2025-08-21T03:32:33.174Z","repository":{"id":50923411,"uuid":"56519326","full_name":"rocq-community/coqdocjs","owner":"rocq-community","description":"Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]","archived":false,"fork":false,"pushed_at":"2024-07-31T21:18:20.000Z","size":35,"stargazers_count":40,"open_issues_count":3,"forks_count":18,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-07-20T00:22:01.920Z","etag":null,"topics":["coq","coqdoc","css","html","javascript"],"latest_commit_sha":null,"homepage":"https://www.ps.uni-saarland.de/~ttebbi/coqdocjs/","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rocq-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-04-18T15:24:23.000Z","updated_at":"2025-07-06T00:35:40.000Z","dependencies_parsed_at":"2024-08-01T01:28:46.219Z","dependency_job_id":null,"html_url":"https://github.com/rocq-community/coqdocjs","commit_stats":null,"previous_names":["rocq-community/coqdocjs","coq-community/coqdocjs"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/rocq-community/coqdocjs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoqdocjs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoqdocjs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoqdocjs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoqdocjs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rocq-community","download_url":"https://codeload.github.com/rocq-community/coqdocjs/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoqdocjs/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271420515,"owners_count":24756580,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-08-21T02:00:08.990Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["coq","coqdoc","css","html","javascript"],"created_at":"2024-11-24T04:13:16.652Z","updated_at":"2025-08-21T03:32:32.918Z","avatar_url":"https://github.com/rocq-community.png","language":"JavaScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# CoqdocJS\n\nCoqdocJS is a little script to dynamically improve the coqdoc output.\nThe result can be seen here:\n\nhttps://www.ps.uni-saarland.de/autosubst/doc/Ssr.POPLmark.html\n\nIt offers the following features:\n- Customizable Unicode display:\n\tIt only changes the display, copy-paste from the website produces pure ASCII.\n\tIt only replaces complete identifiers or notation tokens, possibly terminated by numbers or apostrophes.\n\tIt does not replace randomly, like in \"omega.\" or \"tauto.\"\n\tTo add new symbols, edit [config.js](extra/resources/config.js).\n- Proof hiding:\n\tAll proofs longer than one line are hidden by default. They can be uncovered by clicking on \"Proof...\".\n\nAll of this works with the ordinary coqdoc, by asking coqdoc to use a header file including the javascript files and some custom CSS.\n\n## Usage\n\n1. Clone this repository as a subdirectory or submodule;\n2. Include [Makefile.doc] in your `Makefile`, or copy it as, e.g., `Makefile.coq.local`;\n3. Run `make coqdoc` to build documentations.\n\nA minimal example is shown [here](example).\n\n### Environment Variables\nName | Usage | Default\n---|---|---\n`COQDOCFLAGS` | Override the flags passed to `coqdoc` | see [Makefile.doc]\n`COQDOCEXTRAFLAGS` | Extend the flags passed to `coqdoc` | empty\n`COQDOCJS_LN` | If set to `true` then symlink resource files; otherwise copy | `false`\n`COQDOCJS_DIR` | Folder containing CoqdocJS | `coqdocjs`\n`COQMAKEFILE` | Makefile generated by `coq_makefile` | `Makefile.coq`\n\n## Files\n\n- [Makefile.doc]: a generic Makefile setup that calls coqc and coqdoc with the right parameters\n- [config.js](extra/resources/config.js): contains the unicode replacement table\n- [coqdoc.css](extra/resources/coqdoc.css): a replacement for the default Coqdoc CSS style. Can be removed to use the default style\n- [coqdocjs.js](extra/resources/coqdocjs.js) and [coqdocjs.css](extra/resources/coqdocjs.css): the script rewriting the DOM and adding the dynamic features with a corresponding CSS style\n- [header.html](extra/header.html) and [footer.html](extra/footer.html): custom header and footer files used in every generated html file\n\n[Makefile.doc]: Makefile.doc\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fcoqdocjs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frocq-community%2Fcoqdocjs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fcoqdocjs/lists"}