Programming languages and compilers

A rule in the AwesomeRepos source code puts a repository in this Category when one of these is true. A machine applies the rule to each repository each hour, and a repository can be in more than one Category. The rule groups repositories by area. It does not rank them 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 in the Category now.