Home
Carbon Language: An experimental successor to C++ Why? | Goals | Status | Getting started | Join us See our announcement video from CppNorth. Note that Carbon is not ready for use. Fast and works with C++ Performance matching C++ using LLVM, with low-level access to bits and addresses Interoperate with your existing C++ code, from inheritance to templates Fast and scalable builds that work with yo
MoonBit Documentation — MoonBit v0.6.24+012953835 documentation
MoonBit Documentation# MoonBit is an end-to-end programming language toolchain for cloud and edge computing using WebAssembly. The IDE environment is available at https://try.moonbitlang.com without any installation; it does not rely on any server either. Get started Tutorials: Follow tutorials to start your journey Language: Introduction to detailed language specifications Toolchains: Introductio
Functional Programming in Lean - Functional Programming in Lean
Functional Programming in Lean by David Thrane Christiansen Copyright Microsoft Corporation 2023 This is a free book on using Lean 4 as a programming language. All code samples are tested with Lean 4 release 4.1.0. Release history January, 2024 This is a minor bugfix release that fixes a regression in an example program. October, 2023 In this first maintenance release, a number of smaller issues w
Notes on the M4 Macro Language
About this document Which m4? Who should read this? How is this different from the manual? What is m4? Basics: Simple macros, whitespace, quoting, comments How m4 works Quotes, escaping and non-ASCII characters Comments Alternatives to comments Conditionals Numbers Strings Defining macros with arguments; a recursive macro Scope of macros; local variables Pushing and popping macro definitions Macro
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
A Tour of Standard ML
A Tour of Standard ML (2021) | Lobsters
Welcome To Helix
Calling Mojo from Python | Modular
Introduction - The Vine Programming Language
GitHub - xpqz/kbook: [WIP] A book on the k language.
https://xpqz.github.io/kbook/
Introduction — What about k?
What about K? | Hacker News
Cpp2 and cppfront — An experimental 'C++ syntax 2' and its first compiler
Turing 1936 On Cumputable Numbers : Alan Turing : Free Download, Borrow, and Streaming : Internet Archive
LLVM Tutorial: Table of Contents — LLVM 21.0.0git documentation
The Rhai Book - Rhai - Embedded Scripting for Rust
Why Gren?
Amber Documentation
GitHub - JordanMartinez/purescript-cookbook: An unofficial Cookbook for PureScript