Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Repository Index
47,133 repositories indexed
1–24 of 41 · Most stars
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Mono open source ECMA CLI, C# and .NET implementation.
An open source implementation of OpenAI's ChatGPT Code interpreter
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.
A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations
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
An implementation of Python in Common Lisp
- common-lisp
- python
- compiler
Implementation of x-callback-url (Inter app communication) in swift
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
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
Universal Azure DevOps Organizer - Uno Reference Implementation project
- uno-platform
- uno
- wasm
- webassembly