Skip to content
View 8BitMate's full-sized avatar

Organizations

@applitude
Block or Report

Block or report 8BitMate

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

Pinned

  1. reflect reflect Public

    Forked from dtolnay/reflect

    Compile-time reflection API for developing robust procedural macros (proof of concept)

    Rust 130 3

  2. Connection-Prover Connection-Prover Public

    A connection based first order logic prover written in Haskell.

    Haskell 3

  3. mega-adder mega-adder Public

    A needlessly complicated way of adding two numbers

    Haskell