Repository Index

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

• programming-language
• carbon-lang
• compiler
• cpp

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

• rust
• asynchronous
• networking

The Modular Platform (includes MAX & Mojo)

• ai
• language
• machine-learning
• mojo

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

• roslyn
• visual-basic
• visual-studio
• csharp

Tracking ECMAScript Proposals

• proposal
• ecmascript
• javascript
• spec

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

• dotnet
• hacktoberfest
• help-wanted

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

• language
• compiler
• metaprogramming
• macros

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

The official repo for the design of the C# programming language

• csharp
• language-design

WebAssembly Design Documents

Provides an efficient allocation free async/await integration for Unity.

• csharp
• unity
• coroutine
• task

Base library for a lexer that can be used in Top-Down, Recursive Descent Parsers.

Instant Upgrades and Automated Refactoring of any PHP 5.3+ code

• php
• ast
• instant-upgrades
• automated-upgrades

A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt

• go
• parser
• shell
• bash

:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).

• electron
• dotnet
• dotnet-core
• dotnet-standard

Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.

• opencv
• golang
• video
• computer-vision

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

• xamarin
• graphics
• dot-net
• ios

Bolts is a collection of low-level libraries designed to make developing mobile apps easier.

Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.

• python
• dotnet
• mono
• clr

A modern Go utility library which provides helpers (map, find, contains, filter, ...)

👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect

• user-agent
• mobile-detect
• robot
• browser

A fast, powerful type checker designed for Ruby

• ruby
• types
• sorbet

Database Markup Language (DBML), designed to define and document database structures

• dbx
• database-schema
• dbml