Rust London User Group
The London based user group for the Rust programming language. Rust is a multipurpose programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
Sorry, looks like Rust London User Group haven't got any events scheduled for the moment!
Who's part of this group?
In order to view registered members you need to be logged in with a "confirmed" Skills Matter account!
If you haven't already done so click here to create a new account.Find the "confirmation instructions" email we sent you when you signed up and click on the "Confirm Account" link.
-
Clippy – What It Is, How It Works, and Some Dogfood
Featuring Philipp Krones
Clippy is the official linter of the Rust language.
rust-london rust-lang rust -
Rust-GCC — a GCC front-end for Rust
Featuring Philip Herron
GCC Rust is a front-end project for the GNU toolchain, a work-in-progress alternative to the official Rustc compiler.
-
Doctor Syn - Redefining libm
Featuring Andy Thomason
Doctor Syn is a computer algebra system with a focus on giving libm a more 21st century feel - mainly through autovectorisation and inlining. libm is the C standard maths library whch has many implementations but is only available for one language - C.
autovectorisation programming rust c -
Introduction: Rust London & BCS / OSSG Hybrid Talks
Featuring Ernest Kissiedu
In this introduction, Ernest Kissiedu explains how the Rust London Community will become affiliated with the BCS Open Source Specialist Group.
open-source programming code rust -
Experimenting with Faster Elliptic Curves in Rust
Featuring Diego F. Aranha
In this talk, Diego F. Aranha discusses the results of experiments improving the efficiency of constant-time cryptographic algorithms implemented in Rust, with applications to faster Elliptic Curve Cryptography of practical interest.
code cryptography eliptic-curves rust -
Formal Verification of Subsets of the Rust Language
Featuring Bas Spitters
In this presentation, Bas will give a very brief introduction to interactive formal verification of programming languages before providing an overview of three projects that his team is working on at the CoBRA institute.
code fiat-crypto cryptography coq formal-verification rust
