Pinned Repositories
blog_os
https://os.phil-opp.com/
ctf_writeups
My CTF solver scripts (mainly pwn)
driver
hflmc2
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
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
osmium
A toy operating system written in Rust on RISC V(rv32im)
riscv-toolchain-docker
Dockerfile for building 32-bit version of Risc-V toolchain
moratorium08's Repositories
moratorium08/osmium
A toy operating system written in Rust on RISC V(rv32im)
moratorium08/ctf_writeups
My CTF solver scripts (mainly pwn)
moratorium08/libc-pwn
libc 2.* docker images with pwntools/peda/pwndbg/etc.
moratorium08/nageru
Simple CLI tool to post a file/dir/msg to your slack channel
moratorium08/riscv-toolchain-docker
Dockerfile for building 32-bit version of Risc-V toolchain
moratorium08/hflmc2
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
moratorium08/9-tiles
moratorium08/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.
moratorium08/osmium-docker
moratorium08/sig-hakatashi
moratorium08/aplas24-artifact
moratorium08/benchmark_scripts
moratorium08/benchmarks
Functional program verification problems, as caml programs and as Horn clauses.
moratorium08/esolang-box
Easy-to-run docker images for 100+ esolangs
moratorium08/hfl-benchmark
moratorium08/hfl-preprocessor
moratorium08/hobby
very small programs
moratorium08/hoice
An ICE-based predicate synthesizer for Horn clauses.
moratorium08/isucon9-final
ISUCON9 本戦問題
moratorium08/kosenctfx
moratorium08/ml2hfl
Reduce safety property verification problems of OCaml into ν-only HFL validity checking problems
moratorium08/moratorium08.github.io
moratorium08/proof-of-work
for CTF
moratorium08/Pwngdb
gdb for pwn
moratorium08/rust
Empowering everyone to build reliable and efficient software.
moratorium08/rust-analyzer
A Rust compiler front-end for IDEs
moratorium08/SLOPTAFLpp
moratorium08/smallkirby.xyz
Make Nirugiri Greater.
moratorium08/smallkirby.xyz.jsx
Make Nirugiri Reacter
moratorium08/uart_16550
Minimal support for uart_16550 serial output.