Andy Lok (@andylokandy)
github

andylokandy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,001
  • Global Rank 30,606 (Top 2 %)
  • Followers 236
  • Following 14
  • Registered about 10 years ago
  • Most used languages
    Rust
         80.0 %
    Python
         6.7 %
    Clojure
         6.7 %
    Idris     6.7 %
  • Location 🇨🇳 China
  • Country Total Rank 5,014
  • Country Ranking
    Idris     2
    Clojure
         53
    Rust
         54
    Python
         1,841

Top repositories

1

gpt-4-search

A command line GPT-4 REPL with Google search in 200 lines of code
Python
362
star
2

simsearch-rs

A simple and lightweight fuzzy search engine that works in memory, searching for similar strings (a pun here).
Rust
165
star
3

arraydeque

A circular buffer with fixed capacity (Rust).
Rust
99
star
4

typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust
Rust
97
star
5

smallbox

Small Box optimization: store small item on stack and fallback to heap for large item.
Rust
71
star
6

comp-rs

Pure-macro Do notation and List-comprehension for Option, Result and Iterator.
Rust
52
star
7

nom-rule

A procedural macro for defining nom combinators in simple DSL
Rust
43
star
8

byte

A low-level, zero-copy, panic-free, binary serializer and deserializer. (parser and encoder)
Rust
42
star
9

preemptive

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

article

markdown article
13
star
11

TAPL-Idris

Idris
8
star
12

logcall

An attribute macro that logs the function return value
Rust
8
star
13

jepsen-test

Jepsen test for TiKV
Clojure
6
star
14

plugin

Rust
5
star
15

drawvis

Rust
2
star
16

tdigests

An efficient Rust implementation of the t-digest algorithm.
Rust
2
star
17

tla_for_programer

1
star