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 53 · 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).
A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.
- reactive
- distributed-systems
- concurrency
- high-performance
The official repo for the design of the C# programming language
- csharp
- language-design
WebAssembly Design Documents
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
The .NET library for ImageMagick
- image
- imagemagick
- convert
- resize
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
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
A lightning fast image processing and resizing library for Go
- libvips
- image-processing
- golang
- svg
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
- actor-model
- cloud-native
- concurrency
- distributed-actors
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
F(unctional) util(ities). Resistance is futile.
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
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.