Yoshiki Takashima's repositories
cadical
CaDiCaL SAT Solver
cargo-mutants
Yoshi's fork of `cargo-mutants`. This should not be used in prodction.
chalk
Yoshi's fork of chalk. Personal development only.
crates.io-index
Fork of Registry index for crates.io (For historical replication only, do not use.)
etherparse
A rust library for parsing ethernet & ethernet using protocols.
Fuzzing-Scripts
Yoshi's fork for replication
guidance
Copy of guidance API for LLMs
kani
Kani Rust Verifier (Yoshi Fork for 2022 internship)
kani-github-action
Yoshi's Fork: Kani GitHub Action
kani-vscode-extension
Yoshi's fork of the kani vs-code extension.
liquidhaskell
Liquid Types For Haskell
MIRAI
Rust mid-level IR Abstract Interpreter (Yoshi's Fork)
mutagen
Yoshi's fork of mutagen.
oxidebpf
A Rust library for managing eBPF programs. (Fork for evaluation)
PDFGen
Simple C PDF Writer/Generation library
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.
russol-alpha
A tool for synthesis of Rust code, very early prototype
rust-zmq
Rust zeromq bindings.
rWasm
Yoshi's fork of Jay's wasm -> Rust
simplified-prost-rs-timestamp
A heavily simplified version of https://github.com/tokio-rs/prost's types. Used for testing the Kani model checker.
verusfmt
An Opinionated Formatter for Verus
walkngo
A "walker" for Go AST
wasm-semantics-fuzzer
Yoshi's fork of Jay's wasm fuzzer.