Skip to content
View user-0xcafe's full-sized avatar

Block or report user-0xcafe

Report abuse

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

Report abuse

Popular repositories Loading

  1. selfie selfie Public

    Forked from cksystemsteaching/selfie

    An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

    Jupyter Notebook

  2. rhino rhino Public

    Forked from cksystemsgroup/unicorn

    Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

    Rust

  3. riscu riscu Public

    Forked from cksystemsgroup/riscu

    Simple library for loading/decoding an ELF64 RISC-U file

    Rust

  4. emanote emanote Public

    Forked from srid/emanote

    Emanate a structured view of your plain-text notes

    Haskell

  5. MGit MGit Public

    Forked from maks/MGit

    A Git client for Android.

    Java

  6. ut ut Public

    Forked from boost-ext/ut

    C++20 μ(micro)/Unit Testing Framework

    C++