moratorium08

osmium

A toy operating system written in Rust on RISC V(rv32im)

ctf_writeups

My CTF solver scripts (mainly pwn)

libc-pwn

libc 2.* docker images with pwntools/peda/pwndbg/etc.

nageru

Simple CLI tool to post a file/dir/msg to your slack channel

riscv-toolchain-docker

Dockerfile for building 32-bit version of Risc-V toolchain

hflmc2

ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types

9-tiles

bf-jit

esolang

my esolang programs

libguestfs

library and tools for accessing and modifying virtual machine disk images. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us.

osmium-docker

sig-hakatashi

benchmark_scripts

compiler

esolang-box

Easy-to-run docker images for 100+ esolangs

hfl-benchmark

hobby

very small programs

hoice

An ICE-based predicate synthesizer for Horn clauses.

isucon9-final

ISUCON9 本戦問題

kosenctfx

ml2hfl

Reduce safety property verification problems of OCaml into ν-only HFL validity checking problems

proof-of-work

for CTF

Pwngdb

gdb for pwn

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

SLOPTAFLpp

smallkirby.xyz

Make Nirugiri Greater.

smallkirby.xyz.jsx

Make Nirugiri Reacter

static

uart_16550

Minimal support for uart_16550 serial output.