Andrew Cann (canndrew)

canndrew

Geek Repo

0

following

0

stars

Location:Perth, Australia

Github PK Tool:Github PK Tool


Organizations
nblockchain

Andrew Cann's repositories

crust-futures

Port of crust to futures/tokio

Language:RustStargazers:3Issues:0Issues:0

malk-agda

Attempt at a formalised implementation of a dependent type theory

Language:AgdaStargazers:2Issues:0Issues:0

tokio-nat-traversal

Nat traversal utilities for tokio

Language:RustStargazers:2Issues:0Issues:0

malk-rs

Programming language with dependent linear types.

Language:RustStargazers:1Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

beaker-plugin-safe-authenticator

SAFE Authenticator plugin for SAFE Browser

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bincode

A binary encoder / decoder implementation in Rust.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

book

The Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bytes

Utilities for working with bytes

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

callus

Very simple terminal-based calendar app written in Rust

Language:RustStargazers:0Issues:0Issues:0

coaster-blas

Coaster plugin for backend-agnostic BLAS operations

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ears

Easy Api in Rust to play Sounds

Language:RustLicense:MITStargazers:0Issues:0Issues:0

glutin

Pure Rust alternative to GLFW

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

glutin_window

A Piston window back-end using the Glutin library

Language:RustLicense:MITStargazers:0Issues:0Issues:0

hivemind

Knowledge Revolution

Language:C++License:MITStargazers:0Issues:0Issues:0

jsonrpc

Rust JSON-RPC implementation

Language:RustLicense:MITStargazers:0Issues:0Issues:0

multi-map

Like a Rust std::collection::HashMap, but allows you to use either of two different keys to retrieve items.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rspec

(Rust) Rspec - a BDD test harness for stable Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

rust-igd

Internet Gateway Device (UPNP) client

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rust-managed

A library that provides a way to logically own objects, whether or not heap allocation is available

Language:RustLicense:0BSDStargazers:0Issues:0Issues:0

rustdoc

A documentation tool for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rustup.rs

The Rust toolchain installer

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

safe_browser

SAFE Browser Application

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

safe_core

Client for SAFE networks (main entry point) RESTful API access, posix API access and more

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sidekiq-rs

sidekiq compatible server in rust

Language:RustStargazers:0Issues:0Issues:0

system_uri

Desktop System App URI registration handler

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tui-rs

Build terminal user interfaces and dashboards using Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

valuable-futures

A rust library that allows having by-value futures (which improves type safety)

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0