Programming languages and compilers

This is a top-level Tag: it groups repositories by area. When an agent gave a repository finer Tags from its README, the repository gets the top-level Tags above them. Until then, a rule in the AwesomeRepos source code gives it this Tag when one of these is true. A machine applies the rule to each repository each hour, and a repository can have more than one Tag. A Tag does not rank repositories and does not say that one is better than another.

One of its topics is agda, ast, bytecode, compiler, compilers, coq, dsl, esolang, formal-verification, garbage-collector, interpreter, jit, language, lean, lexer, lisp, llvm, parser, parser-combinators, parser-generator, parsing, programming-language, programming-languages, proof-assistant, racket, repl, scheme, static-typing, transpiler, type-checker, or one of 6 more topics.

A topic starts with wasm-, llvm-, compiler-.

Its description contains the words “compiler”, “interpreter”, “programming language”, “parser”, “parser combinator”, “lexer”, “transpiler”, “bytecode”, “webassembly”, “wasm”, “llvm”, “type checker”, “proof assistant”.

Withheld Repositories are left out of all numbers on this page. The daily line adds up the Star History of the repositories that have the Tag now.