Skip to content
View nickng's full-sized avatar
🤓
🤓
112 followers · 62 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@e-mergency @sessionc @iccsw @monzo @pabble-lang

Block or report nickng

Report abuse

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

Report abuse
nickng/README.md

👋

Pinned Loading

  1. asyncpi asyncpi Public

    An implementation of asynchronous π-calculus in Go

    Go 7

  2. gospal gospal Public

    Go static program analyser

    Go 59 4

  3. bibtex bibtex Public

    Basic parser for bibtex

    TeX 27 11

  4. dingo-hunter dingo-hunter Public

    Static analyser for finding Deadlocks in Go

    Go 321 27

  5. vim-scribble vim-scribble Public

    Vim support for Scribble protocol description language

    Vim Script 4

  6. sesstype.rs sesstype.rs Public

    An implementation of Multiparty Session Types in Rust

    Rust 8