Pinned Repositories
actix-net
framework for composable networking services
actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
actix-web-clean-architecture-sample
angular
Fast and productive web framework provided by Dart
arrow
Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.
mml
model-checking-with-simulation
raft-maude
Formal Specification and Model Checking of Raft in Maude
rtc
rust-lisp
11Takanori's Repositories
11Takanori/mml
11Takanori/angular
Fast and productive web framework provided by Dart
11Takanori/arrow
Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.
11Takanori/rust-lisp
11Takanori/book
The Rust Programming Language
11Takanori/compiler
Compiler for Elm, a functional language for reliable webapps.
11Takanori/containerd
An open and reliable container runtime
11Takanori/core
Elm's core libraries
11Takanori/coredns
CoreDNS is a DNS server that chains plugins
11Takanori/coreutils
Cross-platform Rust rewrite of the GNU coreutils
11Takanori/data-structures
11Takanori/dotfiles
11Takanori/either
The enum Either with variants Left and Right is a general purpose sum type with two cases.
11Takanori/envoy
C++ front/service proxy
11Takanori/etcd
Distributed reliable key-value store for the most critical data of a distributed system
11Takanori/example
11Takanori/firecracker
Secure and fast microVMs for serverless computing.
11Takanori/hogecc
11Takanori/kubernetes
Production-Grade Container Scheduling and Management
11Takanori/libpod
libpod is a library used to create container pods.
11Takanori/linkerd
A service mesh for Kubernetes and beyond. Main repo for Linkerd 1.x.
11Takanori/nix
Rust friendly bindings to *nix APIs
11Takanori/ocaml
The core OCaml system: compilers, runtime system, base libraries
11Takanori/prometheus
The Prometheus monitoring system and time series database.
11Takanori/railcar
RailCar: Rust implementation of the Open Containers Initiative oci-runtime
11Takanori/rust-www
The Rust website
11Takanori/rustc-guide
A guide to how rustc works and how to contribute to it.
11Takanori/RustPython
A Python Interpreter written in Rust
11Takanori/sdk
The Dart SDK, including the VM, dart2js, core libraries, and more.
11Takanori/serving
Kubernetes-based, scale-to-zero, request-driven compute