Starred repositories
Haskell 2010 Revised Language Report
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
An experimental WebAssembly backend for PureScript compiler
Following the RISC-V IME extension standard, and reusing Vector register resources, these instructions can bring more than a tenfold performance improvement to AI applications at a very small hardw…
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
A small, fast, and embeddable programming language based on Lua with a gradual type system.
The MaPLe compiler: efficient and scalable parallel functional programming
JAX in JavaScript – ML library for the web, running on WebGPU & Wasm
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
WASI-enabled WebAssembly C/C++ toolchain
Automatically generate Haskell bindings from C header files
Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, MySQL, DuckDB, Chromium, Redis and WebKit/Safari
Typescript to lua transpiler. https://typescripttolua.github.io/
A TC39 proposal for immutable ArrayBuffers
『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト
A lightweight library for portable low-level GPU computation using WebGPU.
WebGPU/WebGL accelerated numpy-compatible array library for web browser
Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
Native WebGPU implementation based on wgpu-core
A fast type checker and language server for Python