Pinned Loading

1. faster-utf8-validator faster-utf8-validator Public

   A very fast library for validating UTF-8 using AVX2/SSE4 instructions

   C 219 10

2. make.py make.py Public

   make.py, a fast Python-based build tool (fork of https://code.google.com/archive/p/make-py/)

   Python 26

3. x86-sat x86-sat Public

   Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

   Python 315 14

4. sprdpl sprdpl Public

   Simple Python Recursive-Descent Parsing Library

   Python 12 3

5. CubingB CubingB Public

   CubingB is a timer/analyzer for speedsolving Rubik's cubes, with smart cube support

   Python 6

6. x86-info-term x86-info-term Public

   A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses

   Python 128 7