Programming Languages
Showing 36 of 36 projects
A curated list of awesome lists covering all topics related to software development and technology.
A curated list of awesome lists covering all topics related to software development, frameworks, libraries, and tools.
A curated collection of technical interview question lists covering programming languages, frameworks, databases, and CS fundamentals.
A curated collection of technical interview question lists across programming languages, frameworks, databases, and CS topics.
A curated list of curated lists covering programming languages, frameworks, tools, and software development topics.
A structural diff tool that compares files based on their syntax, not just lines.
A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more.
A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more.
A curated directory of static analysis (SAST) tools and linters for all programming languages, config files, and build tools.
A comprehensive icon set for programming languages, design tools, and development technologies.
A curated list of high-quality coding style conventions, standards, and best practices across programming languages, frameworks, and tools.
A modern language platform supporting multiple programming languages with a virtual machine architecture and advanced developer tools.
Subscribe to GitHub trending repositories by programming language and receive updates via native GitHub notifications.
A community-driven collection of preconfigured code snippets for multiple programming languages and frameworks.
A modern on-the-fly syntax checking extension for GNU Emacs that validates code as you type.
A curated collection of coding style guides and development best practices across programming languages and frameworks.
A curated list of open-source embedded scripting languages and Datalog implementations for use in applications.
A curated list of style guides and coding standards across programming languages, frameworks, and platforms.
A curated list of programming languages that compile or transpile to Lua, including typed variants, functional languages, and syntax extensions.
A curated list of companies that extensively use Common Lisp or Scheme in their technology stack.
A curated meta-list of awesome lists covering programming languages, frameworks, tools, and software across the tech ecosystem.
A vector icon font with scalable icons for programming languages, operating systems, and software engineering.
A curated list of companies using Elm in production, organized by industry.
A tool for writing definitions of programming languages and calculi, generating LaTeX and formal proof assistant code from a concise ASCII notation.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources.
A community wiki curating static analysis tools (linters) for improving code quality across programming languages and formats.
A curated collection of developer tools, resources, and tips to improve productivity and enhance the development journey.
A curated list of awesome BASIC dialects, IDEs, tutorials, and tools for developers and enthusiasts.
Lecture materials and Coq source files accompanying YouTube videos on the Software Foundations textbook.
A Go library for accessing GitHub's trending repositories and developers with filtering by time and language.
A curated collection of awesome lists covering programming languages, tools, frameworks, and development resources.
A curated list of curated lists of libraries, resources and shiny things for various languages and frameworks.
A mechanized formalization of WebAssembly 2.0 in Coq (Rocq) with soundness proofs and an extracted interpreter.
A curated, opinionated list of best-in-class books for modern software development, programming languages, and AI/ML.
A Coq library for mechanizing programming language metatheory with locally nameless representation of binders.
Coq formalizations for a course on mechanized semantics, covering imperative/functional languages, compilers, static analysis, and program logics.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.