Alicorn
Fiscal Host: Fundament Research Institute
Help build Alicorn, a GPU native language that's faster than C and safer than Rust, compatible with the full power of your favorite language.
Today's Balance
$0.00
Build Internal IR -> LLVM IR ...
$22,000
Contribute
Become a financial contributor.
Financial Contributions
Alicorn is all of us
Our contributors 2
Thank you for supporting Alicorn.
About
Alicorn is designed to take advantage of recent advancements in type theory, including modular semantics, subtyping for dependent types, substructural coeffects, an effects system, and isorecursion. This allows writing generic code that targets CPUs, GPUs, FPGAs, or other novel architectures, and properly interop with existing languages.
- Native GPU support
- Encode the rules of platform-specific behavior in the type system, to allow friendly type errors explaining why you can't do something on a particular platform.
- Easy to use, less-verbose subset for prototyping and one-off scripts
- Write once, run anywhere even for complex lock free concurrent datastructures and CRDTs.
- Verifiably correct language semantics.
- First-class metaprogramming that allows autocomplete and syntax highlighting to work inside macros.
- Forward compatible typed IR designed to make it easy to add new targets and to interop safely with both existing and future languages.
- Easy, accessible parallelism and async that is hardware friendly.
Our team
Erik McClure
Admin
Open Skies
Admin