Pinned Repositories
astgen
A simple parser description language, and a library that uses it. [IN PROGRESS]
csv
A few tools to make working with csv files easier
gcc
GCC clone with patches for HelenOS support
harbours
Ported software for HelenOS.
helenos
My personal branches of HelenOS
lamb
Extremely simple toy programming language based on untyped lambda calculus with non-strict evaluation. The project's goal has been achieved and it is highly unlikely anyone will ever continue developing it.
rust-efi-app
High-level bindings for writing UEFI applications in Rust.
sisyphos-kernel-uefi-x86_64
A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.
le-jzr's Repositories
le-jzr/sisyphos-kernel-uefi-x86_64
A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.
le-jzr/rust-efi-app
High-level bindings for writing UEFI applications in Rust.
le-jzr/astgen
A simple parser description language, and a library that uses it. [IN PROGRESS]
le-jzr/csv
A few tools to make working with csv files easier
le-jzr/gcc
GCC clone with patches for HelenOS support
le-jzr/harbours
Ported software for HelenOS.
le-jzr/helenos
My personal branches of HelenOS
le-jzr/lamb
Extremely simple toy programming language based on untyped lambda calculus with non-strict evaluation. The project's goal has been achieved and it is highly unlikely anyone will ever continue developing it.
le-jzr/le-jzr.github.io
Things
le-jzr/libc
Raw bindings to platform APIs for Rust
le-jzr/odds-n-ends
This repository collects independent pieces of code that are too small for a separate repository.
le-jzr/pcut
Plain C unit testing framework
le-jzr/randomart
A generic Go library that generalizes OpenSSH's randomart generating function.
le-jzr/randomart-ssh-pub
A simple program that prints a randomart image for a public key.
le-jzr/rust
A safe, concurrent, practical language.
le-jzr/rust-efi-types
Autogenerated Rust bindings for UEFI types and methods.
le-jzr/spl
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]
le-jzr/templator
Template-based code generator generator.
le-jzr/zefram
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 (or start a new one that continues the idea), but I can't say when it might happen.
le-jzr/zefram0
Tuned down version of Zefram. Go compiler only, mostly C syntax, fixed size integer types.