Block or report user

Report or block scalexm

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@rust-lang

Pinned repositories

  1. rust-lang-nursery/chalk

    A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

    Rust 457 45

  2. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust 34.1k 5.5k

  3. trade-rs

    Utilities for trading on crypto-currencies exchanges.

    Rust 3 1

  4. holomorph

    Dofus server emulator written in Rust

    Rust 6

397 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Activity overview
Contributed to scalexm/trade-rs, rust-lang/rust, rust-lang-nursery/chalk and 5 other repositories
Loading

Contribution activity

February 2019

Created a pull request in rust-lang/rust that received 1 comment

(WIP) Small fixes in chalkification

Small fixes around region constraints and builtin impls. There are still some type inference errors, for example the following code errors out: fn m…

+801 −664 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.