le-jzr - Overview (original) (raw)

  1. A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.
    Rust 47 3
  2. High-level bindings for writing UEFI applications in Rust.
    Rust 6
  3. An imperative language build from ground up for static analysis and verification in systems programming. This repository has been inactive for more than a year. I plan to get back to this project …
    Go
  4. A simple parser description language, and a library that uses it. [IN PROGRESS]
    Go
  5. spl spl Public
    Simple format for representing structured data. Exists because all the existing formats are just too convoluted, or possibly as a case of NIH-syndrome. [IN PROGRESS]
    Go
  6. A generic Go library that generalizes OpenSSH's randomart generating function.
    Go