Hiroki Kobayashi's repositories
min-caml-rust
A min-caml port to Rust
rust-schreier-sims
An implementation of Schreier-Sims algorithm in group theory
rustler_steiner
Steiner tree implementation in Elixir NIF
ac-library
AtCoder Library
atcoder_tl
AtCoderの色別TLを生成します
crev-proofs
Crev proof repository
docs.docker.jp
Dockerドキュメント日本語化プロジェクト ,Docker Documentation Translate Project for ja-jp
elo-simulator
Simulation with Elo ratings
erl-primality
A pure Erlang implentation for fast primality checking
erl-rtmpmsg
An Erlang library to encode/decode RTMP message
fibers_http_server
A tiny HTTP/1.1 server framework for Rust
fibers_rpc
Rust RPC library built on top of fibers crate
frugalos
Frugal Object Storage
libfrugalos
This crate defines the public interface of Frugalos for related tools.
libfuse
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
phx_rust_21
Rustler-related experiments
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
rand-crack
Algorithms to find the initial state for a given stream
rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
rust-quantifier-elimination
Quantifier elimination
sorted_set_nif
Elixir SortedSet backed by a Rust-based NIF
test-repository
A repository for testing github features
trackable
Rust library provides a way to track objects manually as an alternative to mechanisms like backtracing