https://github.com/higherorderco/bend2
Bend2 - WIP
https://github.com/higherorderco/bend2
Last synced: 12 months ago
JSON representation
Bend2 - WIP
- Host: GitHub
- URL: https://github.com/higherorderco/bend2
- Owner: HigherOrderCO
- License: mit
- Created: 2025-06-17T20:29:56.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2025-06-17T21:22:43.000Z (12 months ago)
- Last Synced: 2025-06-17T21:37:49.505Z (12 months ago)
- Language: Haskell
- Size: 42 KB
- Stars: 3
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# Bend2 - Work in Progress
Bend combines all my former work into one final language to "rule them all".
It has several goals:
## Target *everything*: GPUs, CPUs, Web, HVM
Most GPU languages, like CUDA, are low-level, C-like, based on buffers and
matrixes. Bend2 is the first GPU-targetting language that includes modern
featuers like first-class functions, unrestricted recursion and fast object
allocation. But it also targets CPU (via Haskell), web (via JS), and, obviously,
the HVM (for optimal λ-Calculus evaluation).
## Maximal AI Automation
Bend is designed, from scratch, to be used by AIs, aiming to become the most
automated language in the world. This includes features like dependency tree
injection (generating small, complete contexts for the LLMs) and auto-repair of
LLM mistakes (via NeoGen theorem prover).
## A Powerful Proof Assistant
Bend is, like Lean and Kind, a proof assistant capable of stating and verifying
mathematical theorems. Its type-checker is very fast, and includes modern
features like observational equality, making it ergonomic for proving work.
**THIS REPOSITORY IS A WORK IN PROGRESS**