{"id":17214767,"url":"https://github.com/dedbox/racket-texmath","last_synced_at":"2026-01-30T02:49:43.883Z","repository":{"id":57745737,"uuid":"123037087","full_name":"dedbox/racket-texmath","owner":"dedbox","description":"Pseudo-(La)TeX mathematical notation for Racket Scribble docs","archived":false,"fork":false,"pushed_at":"2019-06-28T01:00:24.000Z","size":108,"stargazers_count":3,"open_issues_count":1,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-30T11:44:07.804Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://pkgd.racket-lang.org/pkgn/package/TeXmath","language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dedbox.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}},"created_at":"2018-02-26T22:06:54.000Z","updated_at":"2020-03-08T07:24:42.000Z","dependencies_parsed_at":"2022-08-27T00:21:04.992Z","dependency_job_id":null,"html_url":"https://github.com/dedbox/racket-texmath","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dedbox%2Fracket-texmath","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dedbox%2Fracket-texmath/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dedbox%2Fracket-texmath/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dedbox%2Fracket-texmath/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dedbox","download_url":"https://codeload.github.com/dedbox/racket-texmath/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245467231,"owners_count":20620210,"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":[],"created_at":"2024-10-15T03:05:31.838Z","updated_at":"2026-01-30T02:49:43.857Z","avatar_url":"https://github.com/dedbox.png","language":"Racket","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Mathematical notation for Scribble docs\n\nTeXmath is a Racket library for typesetting mathematics in a LaTeX-like syntax.\n\n## Example\n\nLogical judgments as rules of inference\n\n```\n#lang scribble/base\n\n@(require texmath)\n\n@inferrule[\n      @${e_1 ↝ e_1'}\n  ---------------------- \"E-App1\"\n  @${e_1 e_2 ↝ e_1' e_2}\n]\n\n@inferrule[\n  --------------------------------------- \"E-AppAbs\"\n  @${(λx_11.e_12) v_2 ↝ [x_11↦{}v_2]e_12}\n]\n\n@inferrule[\n  @${x \\fresh}\n  ---------------------------- \"E-Def\"\n  @${Σ ⊢ x←v ↝ [x{}↦{}v]Σ ⊢ Ø}\n]\n\n@inferrule[\n           @${Σ(x) = v}\n  ---------------------\n  @${Σ,Γ ⊢ x ↝ Σ,Γ ⊢ v}\n]\n\n@inferrule[\n  @${\\{x:T\\} ∈ Γ}\n  --------------- \"T-Var\"\n  @${\u003cΓ;x\u003e:T}\n]\n``` \n\n![sample output](https://raw.githubusercontent.com/dedbox/racket-texmath/master/sample.png)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdedbox%2Fracket-texmath","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdedbox%2Fracket-texmath","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdedbox%2Fracket-texmath/lists"}