Discover @canndrew Open Source projects

Andrew Cann (@canndrew)

canndrew

Stars
258
Global Rank 100,643 (Top 4 %)
Followers 63
Registered about 11 years ago
Most used languages

Rust
95.8 %

Agda 4.2 %
Location 🇦🇺 Australia
Country Total Rank 1,761
Country Ranking

Agda 5

Rust
42

netsim

Network simulation in Rust

unwrap

unwrap! macro for Rust

error_def

Rust syntax extension for generating error-handling boilerplate code.

gnunet-rs

GNUnet bindings for Rust

net-literals

IP/socket address literals for Rust

future-utils

Extensions to Rust's Future and Stream traits.

concat-arrays

A rust macro for concatenating fixed-size arrays

termcandy

Rust teminal GUI library based on tokio and termion

emoji-quickpick

Emoji picking app for Linux

maybe_box

crust-futures

Port of crust to futures/tokio

c_linked_list

Rust library for handling C linked lists

malk-agda

Attempt at a formalised implementation of a dependent type theory

tokio-nat-traversal

Nat traversal utilities for tokio

unicode-brackets

Rust library for handling bracket unicode characters.

interner

Rust library for interning data.

patchall

NixOS tool for finding and patching executables

malk-lexer

A unicode lexer written in Rust

lightstore

Prototype p2p network

w_result

A rust result type that carries warnings.

atomic-arc

Atomically reference-counted atomic pointers for Rust

libsodium-sys

Statically-built rust bindings for libsodium

malk-rs

Programming language with dependent linear types.

tokio-shared-udp-socket

Easily share a UDP socket between different futures in tokio