Skip to content


  • Arctic Code Vault Contributor


@jenkinsci @hackablemakershit @thingops @korhalio @chargery @devguardio


  1. 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

    Rust 1.4k 28

  2. for science


  3. osaka Archived

    async for rust without the noise

    Rust 139 1

  4. rust elf parsing, manipulation and (re)linking toolkit

    Rust 169 19

  5. pug-rs Archived

    pug.js reimplemented in rust for speed

    Rust 27 4

  6. ugo Archived

    go without GOPATH

    Go 8 1

789 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

Created a pull request in zetzit/zz that received 2 comments

callsite assign

implements callsite assigns that work similar to "default arguments" in C++ except they are full smt expressions also introduces the tailof() theor…

+1,809 −842 2 comments

Created an issue in zetzit/zz that received 6 comments

new constructor from instance method

this doesn't work, but it should struct A{}; struct B{}; fn to(A mut*self, B mut new*nu) {} fn main() { A a; new b =; } the reason it's cur…

4 contributions in private repositories Sep 3 – Sep 14

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

You can’t perform that action at this time.