← All projects
Project record01 mention
Originally shared on Hacker News

Concept

A programming language positioned as a successor to C++, based on the idea of C++20 concepts, featuring templates, comptime, Einstein tensors, async/await, explicit state machines, CPU inference, Vulkan support, easy C interop, and safety proofs built into the language itself. It currently compiles to C11, self-hosting is in progress, and it targets AMD64.

Last shared
01 / Source history

Shared over time

Each entry reflects what was shared on that date. Details may have changed since then.

  1. Concept

    A programming language positioned as a successor to C++, based on the idea of C++20 concepts, featuring templates, comptime, Einstein tensors, async/await, explicit state machines, CPU inference, Vulkan support, easy C interop, and safety proofs built into the language itself. It currently compiles to C11, self-hosting is in progress, and it targets AMD64.

    Posted by @YuechenLi · Original comment ↗

    “Other is the Concept programming language, as a successor language to C++, based off the idea of C++20 concepts, with templates, comptime, Einstein tensors, async/await, explicit state machines, CPU inference, Vulkan, easy C interop, and safety proofs built into the language itself. https://github.com/yuechen-li-dev/Concept/”