yoshikitakashima Goto Github PK

pdfgen

Simple C PDF Writer/Generation library

propproof

Verify PBT with Kani.

proptest

Kani's Fork of `proptest`. Uses symbolic model checking instead of random numbers.

prost

PROST! a Protocol Buffers implementation for the Rust Language

provably-safe-sandboxing-wasm-usenix22

Yoshi's fork of Jay's WASM sandboxer.

public-documents

Repository of public documents.

redqueen

rls-analysis

Core functionality for handling rustc's save-analysis data

rls_to_syrust

Convert output of RLS to input of petri-net synthesis framework.

russol-alpha

A tool for synthesis of Rust code, very early prototype

rust-zmq

Rust zeromq bindings.

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

rwasm

Yoshi's fork of Jay's wasm -> Rust

sampleprograms

Sample programs for testing program analysis tools.

scraperustdoc

Scraper for rust doc and source code. Uses web data to find source files and generate type signatures using source ASTs.

simplified-prost-rs-timestamp

A heavily simplified version of https://github.com/tokio-rs/prost's types. Used for testing the Kani model checker.

stupid-stats

Tutorial and demo of rust compiler replacement tooling

t-fuzz

verusfmt

An Opinionated Formatter for Verus

vuzzer64

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

walkngo

A "walker" for Go AST

wasm-semantics-fuzzer

Yoshi's fork of Jay's wasm fuzzer.

webxray

webXray is a tool for analyzing webpage traffic and content, extracting legal policies, and identifying the companies which collect user data.

yoshikitakashima.github.io

My Webpage!