Pinned Repositories
concat-arrays
A rust macro for concatenating fixed-size arrays
emoji-quickpick
Emoji picking app for Linux
error_def
Rust syntax extension for generating error-handling boilerplate code.
future-utils
Extensions to Rust's Future and Stream traits.
gnunet-rs
GNUnet bindings for Rust
maybe_box
net-literals
IP/socket address literals for Rust
netsim
Network simulation in Rust
p2p
NAT Traversal techniques for p2p communication
unwrap
unwrap! macro for Rust
canndrew's Repositories
canndrew/crust-futures
Port of crust to futures/tokio
canndrew/malk-agda
Attempt at a formalised implementation of a dependent type theory
canndrew/tokio-nat-traversal
Nat traversal utilities for tokio
canndrew/malk-rs
Programming language with dependent linear types.
canndrew/agda
Agda is a dependently typed programming language / interactive theorem prover.
canndrew/beaker-plugin-safe-authenticator
SAFE Authenticator plugin for SAFE Browser
canndrew/bincode
A binary encoder / decoder implementation in Rust.
canndrew/book
The Rust Programming Language
canndrew/bytes
Utilities for working with bytes
canndrew/callus
Very simple terminal-based calendar app written in Rust
canndrew/coaster-blas
Coaster plugin for backend-agnostic BLAS operations
canndrew/ears
Easy Api in Rust to play Sounds
canndrew/glutin
Pure Rust alternative to GLFW
canndrew/glutin_window
A Piston window back-end using the Glutin library
canndrew/hivemind
Knowledge Revolution
canndrew/jsonrpc
Rust JSON-RPC implementation
canndrew/multi-map
Like a Rust std::collection::HashMap, but allows you to use either of two different keys to retrieve items.
canndrew/rspec
(Rust) Rspec - a BDD test harness for stable Rust
canndrew/rust-igd
Internet Gateway Device (UPNP) client
canndrew/rust-managed
A library that provides a way to logically own objects, whether or not heap allocation is available
canndrew/rustdoc
A documentation tool for Rust.
canndrew/rustup.rs
The Rust toolchain installer
canndrew/safe_app_nodejs
canndrew/safe_browser
SAFE Browser Application
canndrew/safe_core
Client for SAFE networks (main entry point) RESTful API access, posix API access and more
canndrew/sidekiq-rs
sidekiq compatible server in rust
canndrew/system_uri
Desktop System App URI registration handler
canndrew/tui-rs
Build terminal user interfaces and dashboards using Rust
canndrew/utp
canndrew/valuable-futures
A rust library that allows having by-value futures (which improves type safety)