nickng/vim-scribble nickng/vim-scribble

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Vim Script
  • Created over 12 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nickng/vim-scribble
github

nickng

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Vim support for Scribble protocol description language

More Repositories

1

dingo-hunter

Static analyser for finding Deadlocks in Go
Go
307
star
2

gospal

Go static program analyser
Go
56
star
3

gong

Gong liveness and channel safety checker
Haskell
30
star
4

bibtex

Basic parser for bibtex
TeX
21
star
5

migo

MiGo types library in Go
Go
11
star
6

goncurrency-analysis-framework

Demo tool for Go concurrency analysis framework
Go
10
star
7

asyncpi

An implementation of asynchronous π-calculus in Go
Go
8
star
8

sesstype.rs

An implementation of Multiparty Session Types in Rust
Rust
8
star
9

google-tv-remote-jb

Google TV Remote (for Jelly Bean)
Java
6
star
10

sessc

Session C programming framework
C
6
star
11

cfsm

CFSM library for Go
Go
5
star
12

sesstype-cli.rs

Command line interface to sesstype.rs
Rust
2
star
13

golanguk2017-slides

My slides (sources) for talk at Golang UK 2017
HTML
2
star
14

go-datarace-examples

Go snippets using shared variables that may introduce data races
Go
2
star
15

sessiontype-latex

Session Type typesetting macros
TeX
1
star
16

sesstype

Parser and library for the sesstype type language in Go
Go
1
star
17

ic-doc-ras-2016-src

Sources for RA Symposium 2016 documents
TeX
1
star
18

typetools

Helper tools for working with types
Go
1
star
19

migo2mcrl2-demo

Shell
1
star
20

actions-on-google-magicmirror

Example Actions on Google project with Go on AppEngine.
Go
1
star
21

scribble-go-file-downloader

Scribble-Go file downloader demo.
Go
1
star