Skip to content
View master-q's full-sized avatar
🌴
On vacation
🌴
On vacation
106 followers · 146 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Organizations

@tdiary @netbsdman @ajhc @metasepi @readcoqart @jats-ug @fpiot @ats-lang @quality-shocking

Block or report master-q

Report abuse

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

Report abuse

Pinned Loading

  1. takibi-lang/takibi takibi-lang/takibi Public

    Bare-metal systems language with refinement types & affine ownership (OCaml + LLVM). TCP/IP stack, HTTP server & KV store running trap-free on QEMU/STM32/RPi3.

    OCaml 1