.svg){kind=icon}
email
A language empowering everyone
to build reliable and efficient software.
Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages.
Related contents:
Elixir is a dynamic, functional language for building scalable and maintainable applications.
Elixir runs on the Erlang VM, known for creating low-latency, distributed, and fault-tolerant systems. These capabilities and Elixir tooling allow developers to be productive in several domains, such as web development, embedded software, machine learning, data pipelines, and multimedia processing, across a wide range of industries.
Cedar is a language for defining permissions as policies, and a specification for evaluating those policies. Use Cedar to define who is authorized to do what within your application. Cedar is open source.
Related contents:
TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
Related contents:
The R Project for Statistical Computing.
R is a free software environment for statistical computing and graphics. It compiles and runs on a wide variety of UNIX platforms, Windows and MacOS.
Related contents:
A High-Level Grammar of Interactive Graphics.
Vega-Lite is a high-level grammar of interactive graphics. It provides a concise, declarative JSON syntax to create an expressive range of visualizations for data analysis and presentation.
Welcome to the open source Citation Style Language (CSL) project! Our goal is to facilitate scholarly publishing by automating the formatting of citations and bibliographies. We develop the Citation Style Language and maintain a crowdsourced repository with over 10,000 free CSL citation styles.
LinguaCafe is a self-hosted software that helps language learners read foreign languages.
LinguaCafe is a free, web-based and self-hosted platform that helps language learners read in foreign languages. It allows users to import texts from different sources, and provides a set of tools that helps them easily acquire vocabulary.
Racket is a general-purpose programming language and an ecosystem for language-oriented programming.
Racket is a flexible, multi-paradigm language from the Lisp family, ideal for language-oriented programming. It supports functional, procedural, and object-oriented paradigms, and features a powerful macro system, robust modules, and extensive libraries. Racket is also widely used in education to teach programming concepts and language design.
Related contents:
🪐 Markdown with superpowers.
Quarkdown is a modern Markdown-based typetting system, designed around the key concept of versatility, by seamlessly compiling a project into a print-ready book or an interactive presentation. All through an incredibly powerful Turing-complete extension of Markdown, ensuring your ideas flow automatically into paper.
GNU's programming and extension language.
Guile is designed to help programmers create flexible applications that can be extended by users or other programmers with plug-ins, modules, or scripts.
Swift is a powerful and intuitive programming language optimized when running on iOS, macOS, and other Apple platforms.
Related contents:
A Kubernetes Query Language.
Cyphernetes is a Cypher-inspired query language for Kubernetes. Cypher is a mixture of ASCII-art, SQL and JSON that lets us express graph operations in an efficient way that is also fun and creative. Cyphernetes extends Cypher with Kubernetes-specific syntax and features. It allows you to query and mutate Kubernetes resources in a natural way, works out-of-the-box with your CRDs, supports multi-cluster queries, and more.
Our upgrade path from bash to a better language and runtime.
Build simple, secure, scalable systems with Go
Related contents:
- Go Optimization Guide.
- Le Go : décryptage du langage et premiers retours d'expérience @ AXOPEN
. - Idiomatic Go @ Dmitri Shuralyov.
- Why Go's Error Handling is Awesome @ rauljordan::blog.
- Were multiple return values Go's biggest mistake? @ MOND←TECH MAGAZINE.
- Episode #3: The Go Programming Language from Google @ Changelog Interviews.
- Testing Frameworks and Mini-Languages @ MatttProud.com (Blog).
Cross-Language Serialization for Relational Algebra.
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
Substrait is a format for describing compute operations on structured data. It is designed for interoperability across different languages and systems.
Flock is Flutter+ • Flock is a fork of Flutter. Flock stays up to date with Flutter, and also adds new community features.
The goal of this proposal is to advance a superset of C++ with a rigorously safe subset. Begin a new project, or take an existing one, and start writing safe code in C++. Code in the safe context exhibits the same strong safety guarantees as code written in Rust.
A TypeScript superset that favors more types and less typing.
A Programming Language for the New Millenium.
Code More with Less in a TypeScript Superset.
Civet is a programming language that compiles to TypeScript or JavaScript, so you can use existing tooling (including VSCode type checking, hints, completion, etc.) while enabling concise and powerful syntax. It starts with 99% JS/TS compatibility, making it easy to transition existing code bases. Then it adds many features and syntactic sugar, with some highlights below and more comprehensive examples in the reference.
Gleam is a friendly language for building type-safe systems that scale!