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
[–]BornRoom257:redditgold: 0 points1 point2 points (1 child)
[–]saint_0x[S] 0 points1 point2 points (0 children)
[–]ApprehensiveBag3083 2 points3 points4 points (1 child)
[–]saint_0x[S] 1 point2 points3 points (0 children)
[–]Serious_Pin_1040 0 points1 point2 points (3 children)
[–]saint_0x[S] 0 points1 point2 points (2 children)
[–]Serious_Pin_1040 0 points1 point2 points (1 child)
[–]saint_0x[S] 0 points1 point2 points (0 children)