Skip to content
Pro
Block or report user

Report or block andylokandy

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@elba
Block or report user

Report or block andylokandy

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

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

    Rust 60 13

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

    Rust 53 8

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

    Rust 51 9

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

    Rust 41 4

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

    Rust 28 1

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

    Rust 20 1

471 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to tikv/tikv, pingcap/pd-web, elba/website and 5 other repositories
Loading

Contribution activity

May 2020

Created a pull request in idris-lang/Idris2 that received 5 comments

Add System.Path

Add a cross-platform path helper, which handles different formats depending on the platform. It can also be used to append paths, to update the ext…

+481 −1 5 comments

Created an issue in edwinb/Idris2-boot that received 1 comment

SegmentFault on String

Steps to Reproduce module Main import Data.String.Extra thisGoesWrong : String thisGoesWrong = (join "a" []) ++ "" main : IO () main = putStrLn $ t…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.