WebAssembly/tail-call

Stars
106
Rank 314,190 (Top 7 %)
Language WebAssembly
License
Other
Created almost 7 years ago
Updated about 1 year ago

WebAssembly/tail-call

WebAssembly

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Proposal to add tail calls to WebAssembly

Tail Call Proposal for WebAssembly

This repository is a clone of github.com/WebAssembly/spec/. It is meant for discussion, prototype specification and implementation of a proposal to add tail call support to WebAssembly.

See the overview for a summary of the proposal.
See the modified spec for details.

Original README from upstream repository follows...

spec

This repository holds a prototypical reference implementation for WebAssembly, which is currently serving as the official specification. Eventually, we expect to produce a specification either written in human-readable prose or in a formal specification language.

It also holds the WebAssembly testsuite, which tests numerous aspects of conformance to the spec.

View the work-in-progress spec at webassembly.github.io/spec.

At this time, the contents of this repository are under development and known to be "incomplet and inkorrect".

Participation is welcome. Discussions about new features, significant semantic changes, or any specification change likely to generate substantial discussion should take place in the WebAssembly design repository first, so that this spec repository can remain focused. And please follow the guidelines for contributing.

citing

For citing WebAssembly in LaTeX, use this bibtex file.

design

WebAssembly Design Documents

binaryen

Optimizer and compiler/toolchain library for WebAssembly

wabt

The WebAssembly Binary Toolkit

WASI

WebAssembly System Interface

spec

WebAssembly specification, reference interpreter, and test suite.

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

proposals

Tracking WebAssembly proposals

component-model

Repository for design and specification of the Component Model

wasi-libc

WASI libc implementation for WebAssembly

interface-types

threads

Threads and Atomics in WebAssembly

wasm-c-api

Wasm C API prototype

simd

Branch of the spec repo scoped to discussion of SIMD in WebAssembly

meetings

WebAssembly meetings (VC or in-person), agendas, and notes

wasi-nn

Neural Network proposal for WASI

esm-integration

ECMAScript module integration

wasm-jit-prototype

Standalone VM using LLVM JIT

tool-conventions

Conventions supporting interoperatibility between tools working with WebAssembly.

website

WebAssembly website

testsuite

Mirror of the spec testsuite

memory64

Memory with 64-bit indexes

reference-types

Proposal for adding basic reference types (anyref)

wasi-crypto

WASI Cryptography API Proposal

wasi-sockets

WASI API proposal for managing sockets

exception-handling

Proposal to add exception handling to WebAssembly

wasi-filesystem

Filesystem API for WASI

module-linking

Proposal for allowing modules to define, import and export modules and instances

multi-memory

Multiple per-module memories for Wasm

wasi-threads

wasi-http

wasp

WebAssembly module decoder in C++

stack-switching

A repository for the stack switching proposal.

debugging

Design documents and discussions about debug support in WebAssembly

wasi-io

I/O Types proposal for WASI

wasmint

Library for interpreting / debugging wasm code

function-references

Proposal for Typed Function References

bulk-memory-operations

Bulk memory operations

multi-value

Proposal to add multi-values to WebAssembly

wasi-testsuite

waterfall

Build and test bots

flexible-vectors

Vector operations for WebAssembly

js-types

Proposal for adding type reflection to the JS API

content-security-policy

wasi-cloud-core

js-promise-integration

JavaScript Promise Integration

relaxed-simd

Relax the strict determinism requirements of SIMD operations.

wasi-webgpu

JS-BigInt-integration

JavaScript BigInt to WebAssembly i64 integration

wasi-libc-old

Precursor to WASI libc.

stringref

benchmarks

Resources for collaborative benchmarking

wasi-random

Entropy source API for WASI

wasi-keyvalue

wasi-clocks

Clocks API for WASI

wasi-sql

annotations

Proposal for Custom Annotation Syntax in the Text Format

proposal-type-imports

Proposal for Type Imports & Exports

memory-control

A proposal to introduce finer grained control of WebAssembly memory.

shared-everything-threads

A draft proposal for spawning threads in WebAssembly

constant-time

Constant-time WebAssembly

wasi-sql-embed

wasi-proposal-template

Starter template for proposing a new WASI API

wasi-parallel

wasi-parallel is a proposal to add a parallel for construct to WASI.

sign-extension-ops

Sign-extension opcodes

funclets

Proposal for adding funclets - flexible intraprocedural control flow

mutable-global

Import & export of mutable globals

wasi-tools

wasi-poll

wasi-messaging

messaging proposal for WASI

wasi-cli

Command-Line Interface (CLI) World for WASI

instrument-tracing

Proposal to add instrumentation and tracing instructions to WebAssembly

nontrapping-float-to-int-conversions

Proposal to add non-trapping float-to-int conversions to WebAssembly

extended-const

Proposal for extended constant expressions

conditional-sections

wasi-grpc

profiles

Profiles proposal

wasi-logging

WASI logging API

extended-name-section

feature-detection

webassembly.github.io

Redirect to webassembly.org

wasi-blobstore

wasi-runtime-config

testsuite-js

WebAssembly testsuite tests converted to single-file JavaScript tests

lld

Staging repository for upstreaming WebAssembly support into lld

branch-hinting

Proposal to add branch hinting functionality to WebAssembly

decompressor-prototype

wasi-observe

Observability World for WASI

wat-numeric-values

Proposal to add numeric values to data segment definitions in the text format

gc-js-customization

wasi-classic-command

wasi-url

wasi-i2c

I2C API for WASi

wg-charter

Proposed WebAssembly Working Group charter

wit-abi-up-to-date

call-tags

cg-charter

Proposed WebAssembly Community Group charter

root-scanning

Spec proposal for scanning/marking of linear memory GC roots

js-string-builtins

JS String Builtins

conditional-segment-initialization

Conditional segment initialization