{"id":13791922,"url":"https://github.com/racket/typed-racket","last_synced_at":"2026-01-27T00:37:20.869Z","repository":{"id":24027509,"uuid":"27412259","full_name":"racket/typed-racket","owner":"racket","description":"Typed Racket","archived":false,"fork":false,"pushed_at":"2024-04-29T09:42:09.000Z","size":10241,"stargazers_count":506,"open_issues_count":326,"forks_count":96,"subscribers_count":46,"default_branch":"master","last_synced_at":"2024-05-01T09:53:37.238Z","etag":null,"topics":["racket","types"],"latest_commit_sha":null,"homepage":"","language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/racket.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":"2014-12-02T03:00:29.000Z","updated_at":"2024-05-10T19:27:01.267Z","dependencies_parsed_at":"2023-11-10T18:23:36.382Z","dependency_job_id":"4bcce2b9-f5ab-43bf-b8d0-17273ed2d5de","html_url":"https://github.com/racket/typed-racket","commit_stats":null,"previous_names":[],"tags_count":37,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Ftyped-racket","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Ftyped-racket/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Ftyped-racket/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Ftyped-racket/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/racket","download_url":"https://codeload.github.com/racket/typed-racket/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240952972,"owners_count":19884019,"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":["racket","types"],"created_at":"2024-08-03T22:01:05.846Z","updated_at":"2026-01-27T00:37:20.841Z","avatar_url":"https://github.com/racket.png","language":"Racket","funding_links":[],"categories":["Racket"],"sub_categories":["Languages"],"readme":"# Typed Racket\n\n[![Build Status](https://travis-ci.org/racket/typed-racket.svg?branch=master)](https://travis-ci.org/racket/typed-racket)\n[![Racket](https://img.shields.io/badge/-Made%20with%20Racket-darkred?logo=racket)](https://racket-lang.org)\n[![Discourse users](https://img.shields.io/discourse/users?label=Discuss%20on%20Racket%20Discourse\u0026logo=racket\u0026server=https%3A%2F%2Fracket.discourse.group)](https://racket.discourse.group/)\n[![Racket Discord](https://img.shields.io/discord/571040468092321801?label=Chat%20on%20Racket%20Discord\u0026logo=racket)](https://discord.gg/6Zq8sH5)\n\nTyped Racket is Racket's gradually-typed sister language which lets you add\nstatically-checked type annotations to your programs. For more information,\nsee the [Typed Racket Guide](http://docs.racket-lang.org/ts-guide/index.html).\n\nInstallation\n------------\n\nTyped Racket is bundled in the default Racket distribution, which you can download\nfrom Racket's [download page](http://download.racket-lang.org/).\n\nYou can also manually install it from the main [package catalog](http://pkgs.racket-lang.org/)\nwith the following command:\n\n  `raco pkg install typed-racket`\n\nDocumentation\n-------------\n\n  * Guide: http://docs.racket-lang.org/ts-guide/index.html\n  * Reference: http://docs.racket-lang.org/ts-reference/index.html\n\nThe documentation is also bundled in your local copy of Typed Racket.\n\nDirectory Guide\n---------------\n\nThe directory `rfcs` holds requests for changes to Typed Racket.\n\nThe directory `source-syntax` allows the `source-syntax` collection to report\nerrors in macro-expanded code by mapping each location in the expanded code to\nthe right location in the source file.\n\nThe directory `typed-racket` bundles together the Racket content of the two\ndirectories `typed-racket-doc` and `typed-racket-lib`.\n\nThe directory `typed-racket-compatibility` provides Typed Racket under old names\nfor backwards compatibility.\n\nThe directory `typed-racket-doc` contains Scribble documentation.\n\nThe directory `typed-racket-lib` houses the actual implementation of Typed Racket.\n\nThe directory `typed-racket-more` has typed interfaces for additional libraries.\n\nThe directory `typed-racket-test` has test cases for Typed Racket.\n\nLicense\n-------\n\nRacket, including these packages, is free software, see [LICENSE]\nfor more details.\n\nBy making a contribution, you are agreeing that your contribution\nis licensed under the [Apache 2.0] license and the [MIT] license.\n\n[MIT]: https://github.com/racket/racket/blob/master/racket/src/LICENSE-MIT.txt\n[Apache 2.0]: https://www.apache.org/licenses/LICENSE-2.0.txt\n[pull request]: https://github.com/racket/typed-racket/pulls\n[issue]: https://github.com/racket/typed-racket/issues\n[development mailing list]: https://lists.racket-lang.org\n[LICENSE]: LICENSE\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fracket%2Ftyped-racket","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fracket%2Ftyped-racket","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fracket%2Ftyped-racket/lists"}