Andy Lok (@andylokandy)
github

andylokandy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    976
  • Global Rank 30,249 (Top 2 %)
  • Followers 228
  • Following 14
  • Registered over 9 years ago
  • Most used languages
    Rust
         78.6 %
    Idris     7.1 %
    Clojure
         7.1 %
    Python
         7.1 %
  • Location 🇨🇳 China
  • Country Total Rank 5,014
  • Country Ranking
    Idris     2
    Clojure
         54
    Rust
         55
    Python
         1,778

Top repositories

1

gpt-4-search

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

simsearch-rs

A simple and lightweight fuzzy search engine that works in memory, searching for similar strings (a pun here).
Rust
150
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
96
star
5

smallbox

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

comp-rs

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

nom-rule

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

byte

A low-level, zero-copy, panic-free, binary serializer and deserializer. (parser and encoder)
Rust
40
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

jepsen-test

Jepsen test for TiKV
Clojure
6
star
13

logcall

An attribute macro that logs the function return value
Rust
5
star
14

plugin

Rust
4
star
15

drawvis

Rust
2
star
16

tla_for_programer

1
star