Skip to content
View notch1p's full-sized avatar
16 followers · 53 following

Organizations

@scnu-socoding

Block or report notch1p

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cl-welearncl-welearnPublic

    (cons we (cons love (cons english nil)

    Common Lisp 2

  2. os2024os2024Public

    spaghetti code at its finest.

    OCaml

  3. moonbitlang/coremoonbitlang/corePublic

    MoonBit's Core library

    MoonBit 1.2k 162

  4. moonbitlang/moonmoonbitlang/moonPublic

    The build system and package manager for MoonBit

    Rust 419 62

  5. tigristigrisPublic

    a language of the ML family

    Lean 3

  6. lazylistlazylistPublic

    a semi-verified lazylist implementation with Haskellesque comprehension macros.

    Lean