{"id":28825760,"url":"https://github.com/higherorderco/bend2","last_synced_at":"2025-06-24T08:00:24.677Z","repository":{"id":299697526,"uuid":"1003909854","full_name":"HigherOrderCO/Bend2","owner":"HigherOrderCO","description":"Bend2 - WIP","archived":false,"fork":false,"pushed_at":"2025-06-17T21:22:43.000Z","size":43,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-06-17T21:37:49.505Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/HigherOrderCO.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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":"2025-06-17T20:29:56.000Z","updated_at":"2025-06-17T21:28:51.000Z","dependencies_parsed_at":"2025-06-17T21:48:58.756Z","dependency_job_id":null,"html_url":"https://github.com/HigherOrderCO/Bend2","commit_stats":null,"previous_names":["higherorderco/bend2"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/HigherOrderCO/Bend2","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HigherOrderCO%2FBend2","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HigherOrderCO%2FBend2/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HigherOrderCO%2FBend2/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HigherOrderCO%2FBend2/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HigherOrderCO","download_url":"https://codeload.github.com/HigherOrderCO/Bend2/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HigherOrderCO%2FBend2/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":260674814,"owners_count":23045063,"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":"2025-06-19T02:44:44.735Z","updated_at":"2025-06-24T08:00:24.617Z","avatar_url":"https://github.com/HigherOrderCO.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Bend2 - Work in Progress\n\nBend combines all my former work into one final language to \"rule them all\".\n\nIt has several goals:\n\n## Target *everything*: GPUs, CPUs, Web, HVM\n\nMost GPU languages, like CUDA, are low-level, C-like, based on buffers and\nmatrixes. Bend2 is the first GPU-targetting language that includes modern\nfeatuers like first-class functions, unrestricted recursion and fast object\nallocation. But it also targets CPU (via Haskell), web (via JS), and, obviously,\nthe HVM (for optimal λ-Calculus evaluation).\n\n## Maximal AI Automation\n\nBend is designed, from scratch, to be used by AIs, aiming to become the most\nautomated language in the world. This includes features like dependency tree\ninjection (generating small, complete contexts for the LLMs) and auto-repair of\nLLM mistakes (via NeoGen theorem prover).\n\n## A Powerful Proof Assistant\n\nBend is, like Lean and Kind, a proof assistant capable of stating and verifying\nmathematical theorems. Its type-checker is very fast, and includes modern\nfeatures like observational equality, making it ergonomic for proving work.\n\n**THIS REPOSITORY IS A WORK IN PROGRESS**\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhigherorderco%2Fbend2","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhigherorderco%2Fbend2","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhigherorderco%2Fbend2/lists"}