Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by nickng

A curated list of projects in awesome lists by nickng .

https://github.com/nickng/dingo-hunter

Static analyser for finding Deadlocks in Go

concurrency deadlock-detection golang research static-analysis

Last synced: 06 Apr 2025

https://github.com/nickng/gospal

Go static program analyser

research static-analysis

Last synced: 05 Apr 2025

https://github.com/nickng/gong

Gong liveness and channel safety checker

Last synced: 05 Apr 2025

https://github.com/nickng/bibtex

Basic parser for bibtex

bibtex parser

Last synced: 05 Oct 2025

https://github.com/nickng/migo

MiGo types library in Go

Last synced: 05 Apr 2025

https://github.com/nickng/goncurrency-analysis-framework

Demo tool for Go concurrency analysis framework

concurrency golang research static-analysis

Last synced: 07 Jul 2025

https://github.com/nickng/sesstype.rs

An implementation of Multiparty Session Types in Rust

development research session-types

Last synced: 05 Apr 2025

https://github.com/nickng/google-tv-remote-jb

Google TV Remote (for Jelly Bean)

Last synced: 05 Apr 2025

https://github.com/nickng/asyncpi

An implementation of asynchronous π-calculus in Go

pi-calculus research

Last synced: 07 Oct 2025

https://github.com/nickng/sessc

Session C programming framework

Last synced: 16 Mar 2026

https://github.com/nickng/cfsm

CFSM library for Go

Last synced: 05 Apr 2025

https://github.com/nickng/vim-scribble

Vim support for Scribble protocol description language

Last synced: 22 Jan 2026

https://github.com/nickng/golanguk2017-slides

My slides (sources) for talk at Golang UK 2017

Last synced: 20 Jan 2026

https://github.com/nickng/sesstype-cli.rs

Command line interface to sesstype.rs

Last synced: 09 Apr 2025

https://github.com/nickng/go-datarace-examples

Go snippets using shared variables that may introduce data races

Last synced: 06 Jul 2025

https://github.com/nickng/actions-on-google-magicmirror

Example Actions on Google project with Go on AppEngine.

Last synced: 09 Apr 2025

https://github.com/nickng/sesstype

Parser and library for the sesstype type language in Go

development session-types

Last synced: 15 Jul 2026

https://github.com/nickng/typetools

Helper tools for working with types

Last synced: 09 Apr 2025

https://github.com/nickng/sessiontype-latex

Session Type typesetting macros

Last synced: 22 Jan 2026

https://github.com/nickng/tyroute

Last synced: 08 Jul 2025

https://github.com/nickng/londongophers-aug18

LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go

code-generation process-calculus static-analysis

Last synced: 09 Apr 2025

https://github.com/nickng/prefix

Prefix reader

Last synced: 09 Apr 2025

https://github.com/nickng/nickng

Last synced: 22 Jan 2026

https://github.com/nickng/vimfiles

My Vim files

Last synced: 21 Jan 2026

https://github.com/nickng/tsvconv

benchstat to TSV converter.

research statistics

Last synced: 09 Apr 2025

https://github.com/nickng/waitless-mobile

NHS waitlist (mobile frontend)

Last synced: 09 Apr 2025

https://github.com/nickng/scribble-go

Scribble protocol description language support tools.

Last synced: 08 Sep 2025

https://github.com/nickng/abelian

Integer based abelian group implementation for Go.

abstract-algebra group-theory

Last synced: 14 Jul 2025

https://github.com/nickng/unsafe-ptr

unsafe.Pointer experiment

Last synced: 02 Aug 2025

https://github.com/nickng/sesstypeconv

Conversion utils for the sesstype language.

Last synced: 01 Sep 2025

https://github.com/nickng/aut

Library for working with aut format.

aut automata lts

Last synced: 09 Jul 2026

https://github.com/nickng/csv

Library to work with CSV files

Last synced: 27 Jul 2025

https://github.com/nickng/fgparser

Last synced: 09 Apr 2025

https://github.com/nickng/typeparam

Type parameters

Last synced: 09 Apr 2025

https://github.com/nickng/scribble-sched

Scheduler generator.

Last synced: 09 Apr 2025

https://github.com/nickng/yee-bot.rs

Last synced: 09 Apr 2025

https://github.com/nickng/viewmd

Markdown viewer

Last synced: 09 Apr 2025

https://github.com/nickng/scribble-go-examples

Scribble-Go example protocols and programs

golang research scribble scribble-go session-types

Last synced: 09 Apr 2025

https://github.com/nickng/go-overhead-benchmarks

Go overhead measurements

golang perf

Last synced: 09 Apr 2025