Andy Lok

gpt-4-search. A command line GPT-4 REPL with Google search in 200 lines of code

simsearch. A small in-memory fuzzy search index for embedded autocomplete and search suggestions.

arraydeque. A circular buffer with fixed capacity (Rust).

smallbox. Small Box optimization: store small item on stack and fallback to heap for large item.

typed-type-exercise-in-rust. Build database expression type checker and vectorized runtime executor in type-safe Rust

comp-rs. Pure-macro Do notation and List-comprehension for Option, Result and Iterator.

nom-rule. A procedural macro for defining nom combinators in simple DSL

byte. A low-level, zero-copy, panic-free, binary serializer and deserializer. (parser and encoder)

preemptive. A minimum preemptive OS on Cortex-M3 (specially on blue-pill board) written in Rust.

article. markdown article

tdigests. An efficient Rust implementation of the t-digest algorithm.

TAPL-Idris. Idris

jepsen-test. Jepsen test for TiKV

plugin. Rust

drawvis. Rust

mea. Mea provides async utilities that are runtime agnostic.

tla_for_programer.

tikv. Distributed transactional key-value database, originally created to complement TiDB

vscode-idris. Idris for Visual Studio Code