nickng/bibtex nickng/bibtex

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    TeX
  • License
    Apache License 2.0
  • Created almost 9 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nickng/bibtex
github

nickng

Reviews

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

Repository Details

Basic parser for bibtex

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

migo

MiGo types library in Go
Go
11
star
5

goncurrency-analysis-framework

Demo tool for Go concurrency analysis framework
Go
10
star
6

asyncpi

An implementation of asynchronous Ο€-calculus in Go
Go
8
star
7

sesstype.rs

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

google-tv-remote-jb

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

sessc

Session C programming framework
C
6
star
10

cfsm

CFSM library for Go
Go
5
star
11

vim-scribble

Vim support for Scribble protocol description language
Vim Script
4
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