Yon icon
Yon icon

Yon

Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?

Yon screenshot 1

Cost / License

Platforms

  • Mac
  • Linux
  • Windows
  • BSD
Yon alternatives  
0likes
0comments
36alternatives
0articles

Features

  1.  Compiled Language

 Tags

Yon News & Activities

Highlights All activities

Recent activities

Yon information

  • Developed by

    Antonio Mennillo

  • Licensing

    Open Source (AGPL-3.0) and Free product.

  • Alternatives

    36 alternatives listed

  • Supported Languages

    • English

AlternativeTo Category

Development

GitHub repository

  •  8 Stars
  •  0 Forks
  •  0 Open Issues
  •   Updated  
View on GitHub

Popular alternatives

View all
Yon was added to AlternativeTo by Paul on and this page was last updated .
No comments or reviews, maybe you want to be first?

What is Yon?

Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?24, with canonicalization under the Conway group Co0. Same content, same address: equality is one machine comparison, deduplication is global, and the heap chain grows without tuning knobs.

The pipeline: OCaml frontend ? custom MLIR "topos" dialect ? LLVM ? native binary, linked against a self-contained C runtime (xleech allocator with the vendored mmgroup mathematical core).

Official Links

AppStores & Other Links