Pinned Repositories
effective-rust
fs-tracing
lean-regex
MyML
ML Like Language
QuickSortInLean
sabi
Formal semantics of Rust
satysfi-playground
serde-query
task_scope
pandaman64's Repositories
pandaman64/sabi
Formal semantics of Rust
pandaman64/fs-tracing
pandaman64/pratt
pandaman64/hyper-hang-tokio
pandaman64/yuri
pandaman64/build-next-with-nix
pandaman64/crate2nix-cargoweb
pandaman64/dentaku-code
pandaman64/lalrpop-logos-rowan
pandaman64/qopter
pandaman64/wasabi
A unified framework that connects logics to Shari theorem prover
pandaman64/cargo-nix-test
pandaman64/crate2nix
nix build file generator for rust crates
pandaman64/hashconsing
A Rust hashconsing library.
pandaman64/hyper-hang-async-std
pandaman64/hyperlocal
🔌 ✨rustlang hyper bindings for local unix domain sockets
pandaman64/interpretable-ml-book-ja
Japanese translation for book about interpretable machine learning by Christoph Molnar. Main branch is `japanese` branch not `master` branch. If you are interested in translation activity, see `developer_guide.md` in `japanese` branch.
pandaman64/isabelle-action
pandaman64/kazoe
pandaman64/nix-flake-templates
pandaman64/num-rational
Generic Rational numbers for Rust
pandaman64/pstream
stream based parser backend (tree builder)
pandaman64/redis-async-rs
A Rust client for Redis, using Tokio
pandaman64/Rocket
A web framework for Rust.
pandaman64/rust-dockerfile-comparison
Compared the build time of each Dockerfile
pandaman64/sectora
Linux authentications using github team and repos
pandaman64/succ_nix
pandaman64/sweet-egison
Implementation of non-linear pattern matching with extensible and polymorphic patterns at a practical level of efficiency
pandaman64/teip
Select partial standard input and replace with the result of another command efficiently
pandaman64/tour_of_rust
A tour of rust's language features