Proposal to add tail calls to WebAssembly
☆116Mar 3, 2025Updated 11 months ago
Alternatives and similar repositories for tail-call
Users that are interested in tail-call are comparing it to the libraries listed below
Sorting:
- Bulk memory operations☆79Mar 31, 2021Updated 4 years ago
- Proposal for Typed Function References☆102Dec 9, 2024Updated last year
- Proposal to add non-trapping float-to-int conversions to WebAssembly☆17Aug 22, 2022Updated 3 years ago
- Vector operations for WebAssembly☆54Sep 15, 2025Updated 5 months ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Proposal for allowing modules to define, import and export modules and instances☆119May 1, 2022Updated 3 years ago
- Proposal for adding type reflection to the JS API☆49Sep 4, 2024Updated last year
- Proposal for Type Imports & Exports☆24Jun 7, 2024Updated last year
- Proposal to add exception handling to WebAssembly☆169Mar 20, 2025Updated 11 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Mar 4, 2021Updated 4 years ago
- Threads and Atomics in WebAssembly☆747Feb 10, 2026Updated 2 weeks ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆12Nov 2, 2015Updated 10 years ago
- Proposal for adding basic reference types (anyref)☆168Oct 4, 2021Updated 4 years ago
- Proposal to add multi-values to WebAssembly☆76Oct 4, 2021Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- ☆12Feb 12, 2025Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- Proposal for Custom Annotation Syntax in the Text Format☆24Dec 6, 2024Updated last year
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Compile PureScript into Haskell.☆68Nov 29, 2017Updated 8 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 3 years ago