search

alilleybrinker / langs-in-rust

A list of programming languages implemented in Rust, for inspiration.
850 stars 58 forks source link

Orion #113

Open flip111 opened 8 months ago

flip111 commented 8 months ago

The link to orion https://github.com/orion-lang/orion forwards to https://github.com/isabelle-lang/isabelle There is no source code or readme there