{"id":29122359,"url":"https://github.com/aaalibaba42/txx","last_synced_at":"2025-06-29T17:12:54.853Z","repository":{"id":300396361,"uuid":"1006071256","full_name":"Aaalibaba42/Txx","owner":"Aaalibaba42","description":"Exploration of how much I can do with only C++ typesystem metaprogramming. No literals, No std, no constexpr. Just the typesystem.","archived":false,"fork":false,"pushed_at":"2025-06-28T15:55:55.000Z","size":118,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-06-28T16:49:15.741Z","etag":null,"topics":["cpp-template","cpp-template-programming","cpp20","cpp23","metaprogramming"],"latest_commit_sha":null,"homepage":"","language":"C++","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/Aaalibaba42.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":"2025-06-21T12:31:40.000Z","updated_at":"2025-06-28T15:55:58.000Z","dependencies_parsed_at":"2025-06-21T13:35:46.487Z","dependency_job_id":"872594f3-360e-4f40-8ee2-e4e694021a3f","html_url":"https://github.com/Aaalibaba42/Txx","commit_stats":null,"previous_names":["aaalibaba42/txx"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Aaalibaba42/Txx","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aaalibaba42%2FTxx","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aaalibaba42%2FTxx/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aaalibaba42%2FTxx/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aaalibaba42%2FTxx/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Aaalibaba42","download_url":"https://codeload.github.com/Aaalibaba42/Txx/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aaalibaba42%2FTxx/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262632339,"owners_count":23340219,"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":["cpp-template","cpp-template-programming","cpp20","cpp23","metaprogramming"],"created_at":"2025-06-29T17:12:54.125Z","updated_at":"2025-06-29T17:12:54.834Z","avatar_url":"https://github.com/Aaalibaba42.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"Txx\n===\n\nBasicly the goal is to create a functional language using only the C++ Type\nSystem. No literals, No standard library, no constexpr, just the Typesystem.\nIn other words, there are 0 (zero) *values* in the code, just Types.\n\nThe goal would be to be able to solve a few [Advent of\nCode](https://adventofcode.com/) exercises using only this.\n\nI was very much inspired by my former colleague's\n[funxx](https://github.com/VokunGahrotLaas/funxx), but wanted to go even\nfurther.\n\nFeatures\n--------\n\n### Booleans:\n\n- [x] Literals\n- [x] And\n- [x] Not\n- [x] Or\n- [x] Xor\n\n\n### Numbers\n\n- [x] Unsigned Numbers:\n  - [x] Incrementation\n  - [x] Addition\n  - [x] Subtraction\n  - [x] LeftShift\n  - [ ] RightShift\n  - [x] Multiplication\n  - [x] Division\n  - [x] Mod\n  - [x] LT\n  - [x] LE\n  - [x] GT\n  - [x] GE\n  - [x] EQ\n- [ ] Signed Numbers\n  - [ ] Incrementation\n  - [ ] Addition\n  - [ ] Subtraction\n  - [ ] LeftShift\n  - [ ] RightShift\n  - [ ] Multiplication\n  - [ ] Division\n  - [ ] LT\n  - [ ] LE\n  - [ ] GT\n  - [ ] GE\n  - [ ] EQ\n- [ ] IEEE754\n  - Constants:\n    - [ ] +Zero\n    - [ ] -Zero\n    - [ ] +Inf\n    - [ ] -Inf\n    - [ ] Epsilon\n  - [ ] Incrementation\n  - [ ] Addition\n  - [ ] Subtraction\n  - [ ] LeftShift\n  - [ ] RightShift\n  - [ ] Multiplication\n  - [ ] Division\n  - [ ] LT\n  - [ ] LE\n  - [ ] GT\n  - [ ] GE\n  - [ ] EQ\n\nMaybe I'll investigate also doing a Dedekind–Peano Natural Number Type.\n\n### Lists\n\nI don't aim to do these unless I need to. These are just ideas of the kind\nof things I'd be capable of doing.\n\n- [x] Prepend\n- [x] Append\n- [x] Reverse\n- [ ] Set i-th\n- [ ] AllOf\n- [ ] NoneOf\n- [ ] Map\n- [ ] Reduce\n- [ ] FoldL\n- [ ] FoldR\n- [ ] i-th\n- [ ] Concat\n\n### Functions\n\nFunctions ought to be first class objects. I guess a function is \"just\" a\nstructure which takes template parameters and has a Result of a certain type.\n\n### Others\n\nStructures that would be nice to have natively:\n- [ ] Sets\n- [ ] Maps\n- [ ] Graphs\n\n### Control Flow\n\n- [x] Ternary\n\nThis is a function really, it takes an input and returns an output, it will be\nmoved and formalized as a function once 1st order functions are implemented.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faaalibaba42%2Ftxx","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Faaalibaba42%2Ftxx","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faaalibaba42%2Ftxx/lists"}