CompCert is a formally verified C compiler that comes with a machine-checked proof that generated code behaves as prescribed by the source program's semantics. It is described as a high-assurance compiler for almost all of the C language (ISO C 2011), generating code for ARM, PowerPC, RISC-V and x86 processors.
Learn X in Y minutes is a community-driven site offering brief tours of programming languages, plus frameworks and libraries, tools, and algorithms and data structures. Language pages are available in numerous translations, including English, French, German, Spanish and Chinese.
Codigo is a programming language repository for discovering trending languages, following language news, and exploring language details including code examples. It offers search and comparison of languages and lists the PyPL and TIOBE indexes and most GitHub pushes.
A community-driven curated list of Go frameworks, libraries and software, inspired by awesome-python. Its contents index categories including actor models, artificial intelligence, authentication, blockchain, build automation, command line tools, databases, distributed systems, game development, networking, testing and web frameworks, with contribution guidelines for suggesting changes.
An open-source resource for learning data structures and algorithms through implementations in various programming languages. The site covers programming languages including Python, Java, JavaScript, Go, Rust, and C++, and organizes algorithms into categories such as sorting, searching, and graph algorithms. It also provides guidance on contributing implementations.
An unofficial Discord.js beginner's guide for version 13 of the library, maintained by York and Discordaholic with contributors. It aims to explain use of the library and its extension with the reader's own code. The text states that a basic understanding of JavaScript is expected before writing bots.
Eclipse Adoptium provides prebuilt OpenJDK binaries built from open source build scripts and infrastructure. Its Temurin distribution is an OpenJDK-based Java runtime offered as a free download, with documentation covering installation, migration, supported platforms and container images. Adoptium also publishes build and test infrastructure artifacts and quality assurance tests.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
Learn X in Y minutes is a community-driven site offering brief tours of programming languages, plus frameworks and libraries, tools, and algorithms and data structures. Language pages are available in numerous translations, including English, French, German, Spanish and Chinese.
Codigo is a programming language repository for discovering trending languages, following language news, and exploring language details including code examples. It offers search and comparison of languages and lists the PyPL and TIOBE indexes and most GitHub pushes.
A community-driven curated list of Go frameworks, libraries and software, inspired by awesome-python. Its contents index categories including actor models, artificial intelligence, authentication, blockchain, build automation, command line tools, databases, distributed systems, game development, networking, testing and web frameworks, with contribution guidelines for suggesting changes.
An open-source resource for learning data structures and algorithms through implementations in various programming languages. The site covers programming languages including Python, Java, JavaScript, Go, Rust, and C++, and organizes algorithms into categories such as sorting, searching, and graph algorithms. It also provides guidance on contributing implementations.
An unofficial Discord.js beginner's guide for version 13 of the library, maintained by York and Discordaholic with contributors. It aims to explain use of the library and its extension with the reader's own code. The text states that a basic understanding of JavaScript is expected before writing bots.
Eclipse Adoptium provides prebuilt OpenJDK binaries built from open source build scripts and infrastructure. Its Temurin distribution is an OpenJDK-based Java runtime offered as a free download, with documentation covering installation, migration, supported platforms and container images. Adoptium also publishes build and test infrastructure artifacts and quality assurance tests.
