{"id":29832332,"url":"https://github.com/hauntedhost/the-little-typer","last_synced_at":"2026-02-08T02:04:42.622Z","repository":{"id":165387156,"uuid":"152504085","full_name":"hauntedhost/the-little-typer","owner":"hauntedhost","description":"The Little Typer by Daniel Friedman and David Christiansen","archived":false,"fork":false,"pushed_at":"2024-12-04T08:32:30.000Z","size":133,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-07-29T11:59:20.531Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"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/hauntedhost.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,"zenodo":null}},"created_at":"2018-10-10T23:50:20.000Z","updated_at":"2024-12-04T08:32:33.000Z","dependencies_parsed_at":null,"dependency_job_id":"e8302259-04d5-47f4-bd1f-b38217678eeb","html_url":"https://github.com/hauntedhost/the-little-typer","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/hauntedhost/the-little-typer","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hauntedhost%2Fthe-little-typer","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hauntedhost%2Fthe-little-typer/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hauntedhost%2Fthe-little-typer/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hauntedhost%2Fthe-little-typer/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hauntedhost","download_url":"https://codeload.github.com/hauntedhost/the-little-typer/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hauntedhost%2Fthe-little-typer/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29217763,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-08T00:10:47.190Z","status":"online","status_checked_at":"2026-02-08T02:00:07.642Z","response_time":57,"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":[],"created_at":"2025-07-29T11:35:57.014Z","updated_at":"2026-02-08T02:04:42.608Z","avatar_url":"https://github.com/hauntedhost.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"## The Little Typer by Daniel Friedman and David Christiansen\n\n\u003e If you can write programs, then you can write proofs.\n\u003e\n\u003e While mathematics is traditionally carried out in the human mind, the marriage of math and programming allows us to run our maths just as we run our programs. Similarly, combining programming with math allows our programs to directly express _why_ they work.\n\n[![book cover](cover.jpg)](https://www.amazon.com/gp/product/0262536439)\n\nPersonal code while reading [The Little Typer](https://www.amazon.com/gp/product/0262536439).\n\n---\n👻 [haunted.host](https://www.haunted.host)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhauntedhost%2Fthe-little-typer","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhauntedhost%2Fthe-little-typer","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhauntedhost%2Fthe-little-typer/lists"}