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 32 · Most stars
Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
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).
The official repo for the design of the C# programming language
- csharp
- language-design
WebAssembly Design Documents
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
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
Embedded Scripting Language Designed for C++
- c-plus-plus
- embedded-scripting-language
- cpp
- language
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
- lua
- luajit
- functional-programming
- luarocks
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
- code-analysis
- code-transformation
- metaprogramming
- code-generation
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
Helpfully Functional Go - A useful collection of Go utilities. Designed for programmer happiness.
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Yew wrapper for Material Web Components
- material-design
- yew
- yew-material
- wrapper
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
A 2D game engine developed in modern C++ using SDL, an Entity-Component-System (ECS) architecture, miniaudio, and Box2D. It features Lua scripting and is designed for web portability via WebAssembly
This library is designed to help you use the Material, Fluent or Cupertino design system with the Uno Platform
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode