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/effective-rust
pandaman64/task_scope
pandaman64/yuri
pandaman64/build-next-with-nix
pandaman64/crate2nix-cargoweb
pandaman64/qopter
pandaman64/saikyou
pandaman64/wasabi
A unified framework that connects logics to Shari theorem prover
pandaman64/actix
Actor framework for Rust
pandaman64/actix-redis
Redis actor and middleware for Actix
pandaman64/async-std
Async version of the Rust standard library
pandaman64/caff
pandaman64/cargo-pack-docker
a cargo subcommand to package your application into a docker image
pandaman64/cs-dm
CS2012 UVa CS Discrete Math Spring 2018
pandaman64/egison-rs
pandaman64/game-engine
pandaman64/kazoe
pandaman64/pandaman64.github.io
pandaman64/qiskit
Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, circuits, and algorithms.
pandaman64/redis-async-rs
A Rust client for Redis, using Tokio
pandaman64/Rocket
A web framework for Rust.
pandaman64/satysfi-docker-1
Docker image for SATySFi and Satyrographos
pandaman64/scoped-spawn
pandaman64/sectora
Linux authentications using github team and repos
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/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
pandaman64/tour_of_rust
A tour of rust's language features
pandaman64/unita
pandaman64/van-tonder