Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will ... (more…)
Read more »
Building a Formalized Rust for great good! Contribute to aatxe/oxide development by creating an account on GitHub. (more…)
Read more »
rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. It can be used to boot into bare-metal firmware or Linux. - G... (more…)
Read more »
Manipulate LLVM-IR in Pure Rust. Contribute to maekawatoshiki/vicis development by creating an account on GitHub. (more…)
Read more »
Wayland and the associated libraries are a little bit of a moving target. This information is, as far as I know, up to date as of May 2020. (more…)
Read more »