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

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

• micropython
• python
• embedded
• microcontroller

Pure Go implementation of the WebRTC API

• go
• golang
• webrtc
• pion-webrtc

Mono open source ECMA CLI, C# and .NET implementation.

• xamarin
• android
• ios
• dotnet

An open source implementation of OpenAI's ChatGPT Code interpreter

• chatgpt
• gpt
• llms
• openai

A high performance implementation of the Ruby programming language, built on GraalVM.

• graalvm
• ruby
• truffle
• hacktoberfest

Open source implementation of Apple's Combine framework for processing values over time.

• swift
• combine
• linux
• macos

A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

• css-parser
• ast
• css
• fast

JPHP - an implementation of PHP on Java VM

• php
• php-language
• jvm
• bytecode

Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

🕸️ Go Implementation of the Polkadot Host

• polkadot
• golang
• wasm
• p2p

An implementation of Python in Common Lisp

• common-lisp
• python
• compiler

Implementation of x-callback-url (Inter app communication) in swift

• url-scheme
• cocoapods
• scheme
• xcode

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).

Yaml parser for Elixir based on native Erlang implementation

The Ink language parser and runtime implementation in Lua

• ink
• lua
• narrative
• interactive-fiction

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

Elixir implementation of an interpreter for the Monkey programming language

• elixir
• monkey
• interpreter

lightweight desktop todomvc implementation using rust,wasm and web-view

• rust-lang
• rust
• todomvc
• wasm

Reference implementation of a full-stack Rust application

• rust
• fullstack
• actix
• yew