moratorium08 Goto Github PK

9-tiles

benchmark_scripts

bf-jit

blog_os

https://os.phil-opp.com/

calc_theory

compiler

crypto-train

This Repository is for my understanding of Crypto and training of Go/Rust.

ctf_vagrant

environment including some ctf tools

ctf_writeups

My CTF solver scripts (mainly pwn)

dajarebot

find dajare on slack

driver

esolang

my esolang programs

esolang-box

Easy-to-run docker images for 100+ esolangs

flag-matcher

gcloud-python3

For Python3 App GAE Deployment. (by using Circle CI)

gmo-pg-php

GMO Payment Gateway SDK for PHP

hfl-benchmark

hflmc2

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

hobby

very small programs

hoice

An ICE-based predicate synthesizer for Horn clauses.

is

isucon9-final

ISUCON9 本戦問題

kernel

kosenctfx

lambda-type-verify

libc-pwn

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

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.

lsi_assignment

ml2hfl

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

mnemo_score_server