Open Source ChromeOS Programming Languages - Page 3

erlang-bookmarks is a curated open-source collection of useful resources for developers working with the Erlang programming language. Rather than being a software library, the repository functions as a community-maintained knowledge hub that aggregates articles, tools, tutorials, and documentation links relevant to Erlang development. The project is intended to help both newcomers and experienced engineers quickly discover high-quality learning materials and ecosystem references. Contributions are encouraged through pull requests or link submissions, making the collection continuously expandable. Its simple structure allows users to browse topics efficiently without heavy tooling or dependencies. Overall, erlang-bookmarks serves as a lightweight but valuable reference index for the Erlang developer community.

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.

Programming language for converting source documents into HTML or XML. Writeup is a combination of a markup language (similar to markdown) and a macro pre-processing language that enables a formal production system to be set up for documents.