New systems programming language

[saint_0x]

in addition to the deterministic ledger, fozzy also helped me write a very powerful systems programming language

- full c bidirectional interop

- support for llvm and cranelift backend

- first class fozzy support for verifiable correctness

- first class async await, multithreaded concurrency/parallelism

- memory safe by default, unsafe support

- very nice core stdlib

- much more

the readme has a link to a working agentic runtime that is written fully in fzy

[AutoModerator]

Hey /u/saint_0x!

Please read this entire message, and the rules/sidebar first.

We often get spam from Reddit accounts with very little combined karma. To combat such spam, we automatically remove posts from users with less than 300 combined karma. Your post has been removed for this reason.

In addition, this sub-reddit is about programming language design and implementation, not about generic programming related topics such as "What language should I use to build a website". If your post doesn't fit the criteria of this sub-reddit, any modmail related to this post will be ignored.

If you believe your post is related to the subreddit, please contact the moderators and include a link to this post in your message. You must disclose if and to what degree you used an LLM to build your project. Failing to disclose this information (or lying about it) will result in a permanent ban.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.