{"id":18475729,"url":"https://github.com/tbrk/checklistings","last_synced_at":"2025-05-13T15:16:55.365Z","repository":{"id":74195106,"uuid":"41857846","full_name":"tbrk/checklistings","owner":"tbrk","description":"LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output","archived":false,"fork":false,"pushed_at":"2017-07-08T14:30:42.000Z","size":583,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-02-16T19:48:01.546Z","etag":null,"topics":["compilation","latex-package","programming-language"],"latest_commit_sha":null,"homepage":"https://www.ctan.org/pkg/checklistings","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tbrk.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2015-09-03T12:12:46.000Z","updated_at":"2023-10-11T19:45:07.000Z","dependencies_parsed_at":"2023-03-23T02:17:45.153Z","dependency_job_id":null,"html_url":"https://github.com/tbrk/checklistings","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tbrk%2Fchecklistings","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tbrk%2Fchecklistings/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tbrk%2Fchecklistings/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tbrk%2Fchecklistings/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tbrk","download_url":"https://codeload.github.com/tbrk/checklistings/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253969276,"owners_count":21992265,"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","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":["compilation","latex-package","programming-language"],"created_at":"2024-11-06T10:35:14.833Z","updated_at":"2025-05-13T15:16:55.312Z","avatar_url":"https://github.com/tbrk.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"checklistings\n=============\n\nBy [Timothy Bourke](http://www.tbrk.org)\nand [Marc Pouzet](http://www.di.ens.fr/~pouzet).\n\nUser manuals and papers about programming languages usually contain many \ncode samples, often with accompanying compiler messages giving the types \nof declarations or error messages explaining why certain declarations are \ninvalid.\n\nThe `checklistings` package augments the\n[fancyvrb](http://www.ctan.org/pkg/fancyvrb) and\n[listings](http://www.ctan.org/pkg/listings) packages for including source\ncode in LaTeX documents with a way to pass the source code through a\ncompiler and also include the resulting messages in the document.\n\nThe motivation is to check the code samples in a document for syntax and\ntyping errors and to facilitate the inclusion of inferred types and compiler\nwarnings or errors in a text. This package is intentionally very lightweight\nand unlike packages like [python](http://www.ctan.org/pkg/python) it is not\nintended for interacting with an interpretor or including the execution\ntraces of code. While `checklistings` does not focus on a specific\nprogramming language, it is designed to work well with ML-like languages.\n\nUsing the package involves three elements:\n\n1. The declaration `\\usepackage{checklistings}`.\n2. The verbatim environment `\\begin{chklisting}...\\end{chklisting}`.\n3. The shell script `checklistings.sh`.\n\nIn a first pass, `latex`/`pdflatex` outputs code samples into files.\nThe second pass is performed by `checklistings.sh` which passes each file\nthrough a compiler to generate corresponding output files.\nIn a third pass, `latex`/`pdflatex` reads from the generated files to\nincorporate the results into the document.\n\nA `checklistings.hva` file is provided for interoperability with\n[HeVeA](http://hevea.inria.fr).\n\nThe `checklistings` package may be distributed and/or modified under the\nconditions of the\n[LaTeX Project Public License](http://www.latex-project.org/lppl.txt),\neither version 1.2 of this license or (at your option) any later version.\nIt is available on [CTAN](http://www.ctan.org/pkg/checklistings).\n\nPlease send comments, suggestions, and bug reports (with version number and\nthe keyword \"checklistings\" in the subject of the message) to\n\u003ctim@tbrk.org\u003e. Please keep in mind that we prefer to keep `checklistings`\nsimple and lightweight rather than to incorporate many different\nconfiguration and customization options. The source code is hosted on \n[GitHub](https://github.com/tbrk/checklistings).\n\nThis package was developed within the\n[PARKAS](http://www.di.ens.fr/ParkasTeam.html) at\n[Inria](http://www.inria.fr) and the [ENS](http://www.di.ens.fr).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftbrk%2Fchecklistings","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftbrk%2Fchecklistings","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftbrk%2Fchecklistings/lists"}