⚡️ RISC-V formal ISA Specification на F# Довольно необычный проект, который иллюстрирует элегнатность и выразительность F# – формальная (и исполняемая) спецификация для RISC-V ISA, написанная в функциональном стиле. Авторы намеренно выбрали «чрезвычайно элементарную» реализацию F#, чтобы сделать ее читаемой и пригодной для широкой аудитории. 🔗 https://devdigest.today/goto/2255 👉🏻 Наш канал | 💬 Наш чат