A TFHE implementation in C++

GlazeWM is a tiling window manager for Windows inspired by i3wm.

A tiling window manager for Windows 🍉

supply-chain security for Rust

Xv6 for RISC-V

TLA+ specification for the Raft consensus algorithm

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

A teaching operating system written in Rust

Creusot helps you prove your code is correct in an automated fashion.

This repository contains my complete resources and coding practices for malware development using Rust 🦀.

Veryl: A Modern Hardware Description Language

SSH tarpit that slowly sends an endless banner

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Unix-like OS in Rust inspired by xv6-riscv

A programming font focused on source code legibility

🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.

An x86 bootloader written in Rust.

Source code for Twitter's Recommendation Algorithm

A memory visualizer in Rust (ptrace + userfaultfd)

an educational compiler intermediate representation

Yet another Japanese IME for IBus/Linux

Fast, configurable, shell plugin manager

A scalable, distributed, collaborative, document-graph database, for the realtime web

A rewrite of YARA in Rust.

A minimal, lightweight, informative zsh prompt theme

Repository to track Japanese Law in text format

Hex diff viewer using alignment algorithms from biology