Pinned Loading

1. btreevis btreevis Public

   Beautiful B+ trees in TeX

   TeX 9

2. 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

3. cksystemsteaching/selfie cksystemsteaching/selfie Public

   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.5k 346

4. DatabaseGroup/tree-similarity DatabaseGroup/tree-similarity Public

   Library for tree similarity algorithms and queries.

   C++ 95 15

5. cksystemsgroup/unicorn cksystemsgroup/unicorn Public

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

   Rust 40 9

6. cksystemsgroup/riscu cksystemsgroup/riscu Public

   Forked from fintelia/riscv-decode

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

   Rust 1 3