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
61,121 visible repositories in the index
1–11 of 11 · Most stars
Development repository for the Triton language and compiler
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
The Racket repository
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Wrangling Untrusted File Formats Safely
- parsing
- memory-safety
- programming-language
- codec
Fil-C: completely compatible memory safety for C and C++
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Nemerle language. Main repository.
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]