{"id":16098962,"url":"https://github.com/hellerve/todo","last_synced_at":"2026-03-18T17:54:30.274Z","repository":{"id":79626382,"uuid":"156885640","full_name":"hellerve/todo","owner":"hellerve","description":"My To Do list for big things","archived":false,"fork":false,"pushed_at":"2021-01-27T23:57:28.000Z","size":7,"stargazers_count":3,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-12T05:11:49.239Z","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/hellerve.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}},"created_at":"2018-11-09T16:04:10.000Z","updated_at":"2023-09-08T17:47:02.000Z","dependencies_parsed_at":"2023-05-13T19:20:28.401Z","dependency_job_id":null,"html_url":"https://github.com/hellerve/todo","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/hellerve%2Ftodo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hellerve%2Ftodo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hellerve%2Ftodo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hellerve%2Ftodo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hellerve","download_url":"https://codeload.github.com/hellerve/todo/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247411193,"owners_count":20934650,"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-09T18:25:13.875Z","updated_at":"2026-01-18T19:02:00.714Z","avatar_url":"https://github.com/hellerve.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# todo\n\nMy list of big To-Do items. All of them are more or less pipedreams, although\nI’ve spent some time working on some of them.\n\nYou can also look at [my reading list](https://github.com/hellerve/ptolemy).\n\nI might need a few decades to kick some of these off of the list.\n\n## Software\n\nThese are some pieces of software that I want to write.\n\n* [medium] Investigate how to make Carp compile to WebAssembly with JS integration\n* [big] Investigate dependent types in Carp\n* [medium] Make the macro system for Carp finally respect hygiene\n* [medium] Write a small, self-contained JIT framework in C or Carp\n* [medium] Write a small PoC language that handles types and effects separately (effects are\n  annotations that let you answer questions about the PoLP of those functions)\n* [huge] Build a nanopass compiler framework in zepto, for zepto ([WIP](https://github.com/zepto-lang/zepto/tree/master/zepto/compiler))\n* [big] Write a good, display-agnostic framework for pretty-printing in Carp\n  (based on [The Final Pretty Printer](http://davidchristiansen.dk/drafts/final-pretty-printer-draft.pdf)?)\n* [huge] Build a good standard library for Carp\n* [gargantuan] Write a great, Smalltalk-style development environment for Carp,\n  a static language (no, really)\n* [big] Write an OMeta implementation in OCaml, for learning purposes\n* [gargantuan] Try to build a generic, pluggable type inference framework,\n  LLVM style\n\n## Books\n\nThese are some books I want to write. No, really.\n\n* Read, Eval, Print, Loop: A philosophical, historical, and technical\n  examination of each of the four stages of a REPL.\n* Building a Language: An examination of the tools that you’d usually not\n  consider when building a language (development environments; pretty printers;\n  a good, clean standard library; etc.)\n\n## Learnings\n\nThese are some things I want to learn, ideally in an university setting. I doubt\nI’ll be able to ever go back to university, alas.\n\n* Medium to advanced mathematics\n* Basic economics\n* German Law\n* Distilling and aging spirits\n* Linguistics and languages (I need to brush up on my French and Spanish, and\n  learn Swedish properly)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhellerve%2Ftodo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhellerve%2Ftodo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhellerve%2Ftodo/lists"}