sorear (sorear) · GitHub
Skip to content
View sorear's full-sized avatar
101 followers · 2 following
  • United States

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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# 152 14

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

    metamath proof enumerators and other things

    Tcl 98 14

  3. smetamath-rs smetamath-rs Public

    sorear's Metamath system engine - version 3 Rust

    Rust 25 6

  4. smm smm Public

    sorear's Metamath system engine

    JavaScript 14 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