{"id":15400824,"url":"https://github.com/dannypsnl/plt-research","last_synced_at":"2026-02-11T16:03:19.222Z","repository":{"id":49782045,"uuid":"126703962","full_name":"dannypsnl/plt-research","owner":"dannypsnl","description":"A collection of PLT researching","archived":false,"fork":false,"pushed_at":"2025-02-21T13:24:20.000Z","size":3584,"stargazers_count":29,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"develop","last_synced_at":"2025-08-21T12:41:38.920Z","etag":null,"topics":["programming-language-theory","type-system"],"latest_commit_sha":null,"homepage":"https://dannypsnl.github.io/plt-research","language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dannypsnl.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,"zenodo":null}},"created_at":"2018-03-25T14:09:10.000Z","updated_at":"2025-02-21T13:24:24.000Z","dependencies_parsed_at":"2025-03-28T00:46:41.177Z","dependency_job_id":null,"html_url":"https://github.com/dannypsnl/plt-research","commit_stats":{"total_commits":549,"total_committers":2,"mean_commits":274.5,"dds":"0.0036429872495445936","last_synced_commit":"005cd9b5e2ce573c857eaf84bc8f8c7deb9200df"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dannypsnl/plt-research","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dannypsnl%2Fplt-research","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dannypsnl%2Fplt-research/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dannypsnl%2Fplt-research/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dannypsnl%2Fplt-research/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dannypsnl","download_url":"https://codeload.github.com/dannypsnl/plt-research/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dannypsnl%2Fplt-research/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29337011,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-11T16:00:30.228Z","status":"ssl_error","status_checked_at":"2026-02-11T16:00:25.398Z","response_time":97,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":["programming-language-theory","type-system"],"created_at":"2024-10-01T15:55:05.430Z","updated_at":"2026-02-11T16:03:19.199Z","avatar_url":"https://github.com/dannypsnl.png","language":"Racket","funding_links":[],"categories":[],"sub_categories":[],"readme":"# PLT research\n\nThis repository contains several PLT related sub-projects that I created for learning these certain subjects.\n\n- [the little typer note](https://dannypsnl.github.io/plt-research/NOTE__The_Little_Typer.html)\n- [continuation](https://github.com/dannypsnl/plt-research/tree/develop/continuations)\n- lambda calculus\n  - [utlc](https://github.com/dannypsnl/plt-research/tree/develop/utlc): untyped lambda calculus\n  - [stlc](https://github.com/dannypsnl/plt-research/tree/develop/stlc): simply typed lambda calculus\n  - [de-bruijn index](https://github.com/dannypsnl/plt-research/tree/develop/de-bruijn-index) is a technology to encode variables by indcies\n- polymorphism\n  - [hindley milner](https://github.com/dannypsnl/plt-research/tree/develop/hindley-milner) is a classic decidable algorithm and polymorphic type system variant\n  - [row polymorphism](https://github.com/dannypsnl/plt-research/tree/develop/row-poly) is a type system that you can have record row polymorphic, but my code is buggy\n- dependent type\n  - [lambda pi](https://github.com/dannypsnl/plt-research/tree/develop/lambda-pi) introduces $\\Pi$ type\n  - [strictly positive](https://github.com/dannypsnl/plt-research/tree/develop/strictly-positive) is an attribute that well inductive data type should hold, and this is a syntactic checker for it\n  - [universe polymorphism](https://github.com/dannypsnl/plt-research/tree/develop/univ-poly)\n  - [normalization by evaluation](https://github.com/dannypsnl/plt-research/tree/develop/normalization-by-evaluation)\n  - elaboration-zoo\n    - [whisper](https://github.com/dannypsnl/plt-research/tree/develop/whisper): conversion check\n    - [antaa](https://github.com/dannypsnl/plt-research/tree/develop/antaa): meta solving\n- external\n  - [Write you a programming language](https://github.com/dannypsnl/write-a-programming-language)\n\n### Compiler\n\nHere are works that more about implementation/assembly details\n\n1. [racket-llvm](https://github.com/failed-dragon-slayer/racket-llvm)\n2. [still compiling](https://github.com/dannypsnl/still-compiling)\n3. [scheme to arm64](https://github.com/dannypsnl/scheme-to-arm64)\n4. [c to x64](https://github.com/failed-dragon-slayer/cc)\n5. [little-scheme](https://github.com/dannypsnl/little-scheme): A little scheme interpreter for playing SICP\n6. [elz](https://github.com/dannypsnl/elz)\n\n### NOTE: video\n\n- [Kent Dybvig: Macro-Writer's Bill of Rights](https://youtu.be/LIEX3tUliHw)\n- [\"Let's Build a Hygienic Macro Expander\" by Matthew Flatt](https://youtu.be/Or_yKiI3Ha4)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdannypsnl%2Fplt-research","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdannypsnl%2Fplt-research","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdannypsnl%2Fplt-research/lists"}