Stars
Protocol Buffers Compiler (protoc) plugin for TypeScript and gRPC-Web.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…
10 papers that all PhD students in programming languages ought to know, for some value of 10
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
A Redex model for The Essence of Compiling with Continuations.