Open-source alternatives to Proposals

This repository serves as the programming language design repository for C#, containing the official language specification and the technical standards governing its grammar, type safety, and memory management. It functions as a collaborative space for the formal design and evolution of the language. The project manages a community-driven evolution process, utilizing a public proposal backlog to debate and adopt new features. This involves formal syntax prototyping and the engineering of the type system to refine the language's behavior and implementation. The scope of the specification cove

Carbon is an experimental, compiled systems programming language designed as a successor to C++. It focuses on providing a high-performance environment for modern software development while prioritizing memory safety and expressive generic programming. The language is built to support performance-critical engineering, allowing for precise control over memory layout and execution flow. A primary differentiator of the project is its bidirectional interoperability with existing C++ codebases. This allows developers to call functions and share data between languages without manual wrappers, facil

Swift Evolution serves as the central governance and design platform for the Swift programming language. It provides a structured, collaborative framework for tracking, discussing, and managing the formal proposals and technical goals that define the language's syntax, semantics, and core features. By maintaining a comprehensive collection of design documentation, the project ensures the long-term stability and consistency of the language as it matures. The repository acts as the primary hub for the language's evolution, coordinating community feedback and technical decisions through a transp

Ruby is a general-purpose, dynamic programming language built on an object-oriented runtime environment. It treats every piece of data as an object, ensuring a consistent interface for manipulation across the entire system. The language is designed to support programmer productivity through a focus on natural syntax and flexible metaprogramming capabilities. The runtime distinguishes itself through a pure object model that allows for dynamic class modification and runtime method definition. It supports functional programming patterns by encapsulating code blocks as objects that capture their

Python is a high-level, interpreted programming language designed for readability and versatility. It operates via a bytecode-based virtual machine and manages memory automatically through reference-counting garbage collection. The language supports multiple programming paradigms, including object-oriented, imperative, and functional styles, and provides a comprehensive standard library for system operations, networking, and data handling. The language is distinguished by its dynamic nature, allowing for runtime object introspection and metaclass-driven class creation. It utilizes protocol-ba

This repository contains the official technical specification for GraphQL. It serves as the formal standard defining the query language, the execution engine, and the schema definition rules required to maintain consistency across different API implementations. The specification establishes a language-agnostic standard for query syntax and semantics, alongside a formal protocol for introspection. It provides the documented algorithms and logic requirements necessary for implementing a consistent server, ensuring that metadata about types and fields can be discovered by automated tools. The p

V is a statically typed, compiled programming language designed for high-performance systems development. It prioritizes memory safety and execution speed by enforcing strict type checking and immutable defaults, while generating native machine code for multiple hardware architectures. The language is built around an integrated toolchain that includes a compiler, package manager, formatter, and testing utilities within a single executable, facilitating rapid development cycles. What distinguishes V is its focus on developer productivity and interoperability. It provides a direct interface for

Julia is a high-performance, dynamic programming language designed for scientific computing, data analysis, and complex mathematical modeling. It provides a specialized runtime environment that manages memory allocation and parallel processing, utilizing a just-in-time compiler to translate high-level source code into optimized machine instructions. This architecture allows the language to achieve execution speeds comparable to statically compiled languages while maintaining the flexibility of a dynamic scripting environment. The language is distinguished by its multiple dispatch system, whic

Wenyan is an esoteric programming language that enables the composition of functional logic using the grammar and vocabulary of classical Chinese literature. It functions as a source-to-source compiler, translating literary scripts into standard high-level programming languages such as JavaScript, Python, and Ruby to facilitate execution across diverse computing environments. The project distinguishes itself by bridging the gap between ancient linguistic structures and modern computational tasks. It utilizes a specialized transpilation process that maps classical grammatical particles and voc

Zig is a general-purpose systems programming language designed for high-performance applications that require manual memory management and direct control over hardware resources. It prioritizes predictable execution by enforcing explicit control flow and requiring functions to accept explicit memory allocators, ensuring that all heap operations and logic paths remain visible to the developer. The language distinguishes itself through a powerful compile-time metaprogramming engine that allows for arbitrary code execution during the build process, enabling advanced reflection and the generation

Elixir is a functional, concurrent programming language designed for building scalable and maintainable applications. It operates on the Erlang virtual machine, leveraging a distributed, fault-tolerant runtime environment that manages lightweight processes to ensure system reliability. By utilizing an actor-model supervision strategy, the language enables the creation of high-concurrency backend systems that automatically recover from failures and maintain stability under heavy loads. The language distinguishes itself through a powerful metaprogramming environment that allows developers to ex

This project is an educational resource and technical reference archive focused on the core architecture and counter-intuitive behaviors of the JavaScript programming language. It provides a comprehensive collection of language edge cases, syntax anomalies, and runtime inconsistencies that challenge standard developer assumptions. By grounding these examples in the official ECMAScript specification, the repository serves as a guide for understanding the underlying mechanics of the language. The project distinguishes itself by cataloging specific instances of type coercion, operator precedence

Nushell is a cross-platform shell and programming language designed to treat all input and output as structured data rather than raw text streams. By enforcing data types and command signatures, it provides a consistent environment for building robust, pipeline-oriented workflows. The shell allows users to chain commands that pass structured objects between stages, enabling complex data processing and automation tasks that remain predictable across different operating systems. What distinguishes the project is its focus on interactive data exploration and modular extensibility. Users can quer

Taichi is a domain-specific programming language embedded in Python designed for high-performance numerical computing and computer graphics. It functions as a parallel compiler that translates high-level mathematical expressions into optimized machine instructions, enabling developers to write compute-intensive algorithms that execute across diverse hardware architectures, including CPUs, GPUs, and specialized accelerators. The project distinguishes itself through a hardware-agnostic execution layer that maps parallel operations to multiple backends such as CUDA, Metal, and Vulkan. By utilizi

This project is a governance framework and proposal tracker for managing the lifecycle of new features and API changes within Kubernetes. It provides a structured system for proposing, reviewing, and tracking community contributions from the initial idea through to a stable release. The framework focuses on maintaining API design integrity and backward compatibility through a formal review process. It coordinates release management by monitoring feature milestones, enforcing code freeze dates, and verifying that new additions are production-ready and scalable. The system covers project gover

This repository serves as the coordination hub for the Kubernetes community, focusing on open source contribution and project governance. It provides the structures necessary to manage the development of subprojects through a distributed governance model involving committees and working groups. The project manages community coordination by connecting contributors through a network of mailing lists and chat channels. It defines the requirements and responsibilities for contributor membership, including the process for becoming an official member or code reviewer. The repository utilizes a sta

This project is a translated historical chronicle and programming language reference documenting the technical evolution and standardization of JavaScript over two decades. It serves as a software engineering archive that tracks version drafts and the influence of various standards bodies on the development of the language. The repository provides a Chinese translation of a comprehensive history, analyzing the socio-political and technical milestones of the ecosystem. It maps language milestones and chronicles the development of official specifications to provide historical context on how the

This project is a curated knowledge base and technical reference for shell scripting, focused on performing common system tasks using only built-in shell features. It serves as a guide for implementing logic and automation without relying on external binaries or dependencies, ensuring scripts remain portable across standard Unix-like environments. The repository distinguishes itself by emphasizing native shell functions and syntax to minimize process forking and improve execution performance. It provides idiomatic patterns for complex string transformations, pattern matching, and data flow ma

This repository serves as the official proposal archive and community governance framework for the Vue.js core framework. It functions as a technical design document store where substantial changes and new features are proposed, debated, and documented through a structured request for comments process. The project implements a transparent governance model to reach consensus on major architectural decisions. This involves a formal change proposal process and a community feedback system designed to refine technical concepts before they are committed to the final implementation. The repository

KEEP is a language evolution tracker and governance tool for the Kotlin programming language. It serves as a centralized portal for managing the lifecycle of language enhancement proposals and tracking the progression of syntax and semantic changes from initial design to final release. The project functions as a technical proposal workflow engine to coordinate the review, acceptance, and revocation of formal design requests. It provides a system for documenting early ideas, integrating community feedback, and managing the evolution of language features. The platform also handles programming

The Rust RFCs repository is the formal home for the Rust language evolution process, housing the structured design documents and community review mechanisms that govern changes to the Rust programming language, its compiler, and its standard library. It defines the complete lifecycle for proposing, discussing, and implementing substantial changes through RFC documents, from initial submission and community feedback through final comment periods and sub-team sign-offs. The repository codifies the governance and collaboration processes that shape Rust's development, including mechanisms for com

Cosmos SDK is a modular blockchain application framework and software development kit used to build sovereign layer-one networks. It provides a foundation for creating customizable blockchains featuring native interoperability, sovereign governance, and Byzantine Fault Tolerant consensus engines. The framework is distinguished by its inter-blockchain communication protocol, which enables the transfer of byte-encoded data and digital assets between independent blockchain networks. It supports multiple consensus models, including Proof of Stake and Proof of Authority, and allows for the integra

This repository is a technical proposal collection and open source governance workflow used to manage the lifecycle of feature requests. It functions as a collaborative API design framework where major architectural changes are proposed and tracked from initial draft to final acceptance. The project utilizes a Git-based governance workflow to gather community consensus. It leverages version control, pull requests, and Markdown documents to facilitate asynchronous technical reviews and distributed contributor agreement. The system covers the coordination of technical consensus and the managem

The CppCoreGuidelines is a comprehensive software engineering standard that provides a curated framework of coding conventions and design principles for C++. It serves as an authoritative guide for writing safe, efficient, and maintainable code by establishing high-level architectural patterns and organizational principles for large-scale projects. The guidelines emphasize the use of a strong, static type system to ensure memory safety and enforce consistent resource management patterns. The project distinguishes itself by promoting the zero-overhead abstraction principle, ensuring that high-

This project is a collaborative, open-source repository that serves as a reference collection for programming syntax and implementation patterns. It functions as an educational resource, providing a centralized library of starter code examples designed to help developers explore and compare how different programming languages handle fundamental tasks. The repository relies on a community-driven model where content is curated through manual submissions and peer review. By utilizing a version control system and a structured contribution workflow, the project maintains a collection of code snipp

Scala 3 is an open-source, statically typed programming language that compiles to JVM bytecode, combining object-oriented and functional programming paradigms. Its core identity is defined by a sophisticated type system that includes traits, generics, union types, and a dependent object type system where types can depend on runtime values through path-dependent and singleton types. The language distinguishes itself through several advanced type-level and metaprogramming capabilities. It features a contextual abstraction mechanism using given instances and using clauses for compile-time implic