Skip to content
Avatar
  • Block or report user

    Report or block sdemos

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
48 followers · 18 following · 42

Highlights

  • Arctic Code Vault Contributor

Organizations

@ComputerScienceHouse

Pinned

  1. coreos/openssh-keys

    A pure-Rust library to read and write OpenSSH public keys

    Rust 13 5

  2. lsystems

    A foray into Lindenmayer Systems programming

    Python 5 1

  3. demos

    DemOS, Demos's OS

    Rust 4

  4. cellular-automata

    experimenting with cellular automata representations in haskell

    Haskell

  5. coreos/afterburn

    A simple cloud provider agent

    Rust 96 61

  6. type-inference

    formalization of type inference using rewriting

    Coq 1

2 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview

Contribution activity

January - August 2020

sdemos has no activity yet for this period.

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

You can’t perform that action at this time.