Skip to content
View sorear's full-sized avatar

Organizations

@rakudo @perl6 @metamath @SDRust

Block or report sorear

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. niecza niecza Public

    A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.

    C# 153 15

  2. metamath-turing-machines metamath-turing-machines Public

    metamath proof enumerators and other things

    Tcl 88 11

  3. smetamath-rs smetamath-rs Public

    sorear's Metamath system engine - version 3 Rust

    Rust 22 6

  4. smm smm Public

    sorear's Metamath system engine

    JavaScript 13 4

  5. libuv-rs libuv-rs Public

    Rust bindings to libuv

    Rust 12 3

  6. TAEB TAEB Public

    Forked from DrSunglasses/TAEB

    the Tactical Amulet Extraction Bot (for NetHack)

    Perl 5 1