{"id":18014648,"url":"https://github.com/dhil/t20","last_synced_at":"2026-02-26T08:02:07.890Z","repository":{"id":76216582,"uuid":"148781667","full_name":"dhil/t20","owner":"dhil","description":"Triple 20: A domain specific language for kernel-to-kernel transformations.","archived":false,"fork":false,"pushed_at":"2019-01-30T16:02:06.000Z","size":19423,"stargazers_count":4,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-10-20T06:13:00.802Z","etag":null,"topics":["compilation","compiler","dart","domain-specific-language","functional-language","google","kernel","kernel-transformations","source-to-source"],"latest_commit_sha":null,"homepage":"https://www.dartlang.org","language":"Dart","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dhil.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","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":"2018-09-14T11:51:48.000Z","updated_at":"2025-07-03T17:28:52.000Z","dependencies_parsed_at":null,"dependency_job_id":"e4c1390f-db23-4fb1-898a-50d9dcd1ecb3","html_url":"https://github.com/dhil/t20","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dhil/t20","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Ft20","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Ft20/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Ft20/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Ft20/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dhil","download_url":"https://codeload.github.com/dhil/t20/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Ft20/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29852935,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-25T22:37:40.667Z","status":"online","status_checked_at":"2026-02-26T02:00:06.774Z","response_time":89,"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":["compilation","compiler","dart","domain-specific-language","functional-language","google","kernel","kernel-transformations","source-to-source"],"created_at":"2024-10-30T04:10:33.314Z","updated_at":"2026-02-26T08:02:07.840Z","avatar_url":"https://github.com/dhil.png","language":"Dart","readme":"# Triple 20: A Kernel-to-Kernel Transformation Framework\n[![Build Status](https://travis-ci.com/stumtjener/t20-mirror.svg?branch=master)](https://travis-ci.com/stumtjener/t20-mirror)\n\n**Disclaimer** this is highly experimental. It's a very early stage prototype.\n\n## References\n* **[The Racket Reference (version 7.1)](https://download.racket-lang.org/releases/7.1/pdf-doc/reference.pdf)**  \n  by Matthew Flatt and PLT\n* **[The Definition of Standard ML](http://sml-family.org/sml97-defn.pdf)**  \n  by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen\n* **[Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism](http://doi.org/10.1145/2500365.2500582) (ICFP '13)**  \n  by Joshua Dunfield and Neel Krishnaswami  \n* **[Type Inference in Context](https://dl.acm.org/citation.cfm?id=1863608) (MSFP '10)**  \n  by Adam Gundry, Conor McBride, and James McKinna\n* **[Let Should not be Generalised](https://dl.acm.org/citation.cfm?id=1708023) (TLDI ' 10)**  \n  by Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers\n* **[HMF: Simple Type Inference for First-Class Polymorphism](https://dl.acm.org/citation.cfm?id=1411245) (ICFP '08)**  \n  by Daan Leijen\n* **[The Guaranteed Optimization Clause of the Macro Writer's Bill of Rights](https://www.youtube.com/watch?v=LIEX3tUliHw) (DanFest '04)**  \n  by R. Kent Dybvig\n* **[Local Type Inference](http://doi.org/10.1145/345099.345100) (TOPLAS '00)**  \n  by Benjamin Pierce and  David Turner\n* **[A tutorial on the universality and expressiveness of fold](https://dl.acm.org/citation.cfm?id=968579) (JFP '99)**  \n  by Graham Hutton\n* **[Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](https://dl.acm.org/citation.cfm?id=128035) (FPCA '91)**  \n  Erik Meijer, Maarten Fokkinga, and Ross Paterson\n* **[How to make *ad-hoc* polymorphism less *ad hoc*](https://dl.acm.org/citation.cfm?id=75283) (POPL '89)**  \n  by Philip Wadler and Stephen Blott\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdhil%2Ft20","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdhil%2Ft20","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdhil%2Ft20/lists"}