3 reactions
A compiler with an ML-based type system for anything from OS-dev to web
This is my programming language, which I used to write the userspace for my operating system: SageOS
https://github.com/adam-mcdaniel/sage-os
I also got the language working in the website, check out the Playground tab to see an interactive web demo. There's demos of:
• Sudoku solver
• Javascript interop
• AES encryption/decryption
• Myers difference algorithm
• Matrix operations with typechecked dimensions at compile time
And more on the Playground tab!
Its a pretty neat tool, check out the playground, repo, and the discord all linked on the main page!
#technology
source
This is my programming language, which I used to write the userspace for my operating system: SageOS
https://github.com/adam-mcdaniel/sage-os
I also got the language working in the website, check out the Playground tab to see an interactive web demo. There's demos of:
• Sudoku solver
• Javascript interop
• AES encryption/decryption
• Myers difference algorithm
• Matrix operations with typechecked dimensions at compile time
And more on the Playground tab!
Its a pretty neat tool, check out the playground, repo, and the discord all linked on the main page!
#technology
source
| 11,000 mlx | |
| 9 | |
| 3 |