WebAssembly / tail-call
Proposal to add tail calls to WebAssembly
☆111Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for tail-call
- Type Inference Library written in TypeScript☆92Updated last year
- Proposal to add multi-values to WebAssembly☆70Updated 3 years ago
- Frank compiler☆279Updated 6 months ago
- Prototype type inference engine☆197Updated 3 months ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated 3 months ago
- Fungi: Typed incremental computation with names☆66Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Plasma Programming Language☆162Updated 2 months ago
- 1ML prototype interpreter☆270Updated 4 years ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Updated last year
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- Haskell WebAssembly Toolkit☆151Updated 5 months ago
- Macros have types!☆130Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Formality in itself☆20Updated 3 years ago
- A prototype programming language for programming with runners☆88Updated 3 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆84Updated 6 years ago
- Code and demos for Reconstructing TypeScript blog posts.☆34Updated last year
- The Makam Metalanguage☆194Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- OCaml extended with modular implicits☆103Updated 6 years ago
- A repository for the stack switching proposal.☆145Updated 3 weeks ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- theseus, functional programming language with fully reversible computation☆117Updated 5 years ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- ECMAScript verification with SMT solvers☆124Updated 5 months ago