Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

169–192 of 248 · Most stars

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

  • promise
  • fantasy-land
  • async
  • asynchronous

Embedded JavaScript Engine for R

  • cran
  • libv8
  • r
  • javascript

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Your users download a 4GB AI model, the connection drops at 3.8GB, verifyfetch resumes from 3.8GB and verifies every byte. Drop-in integrity verification for Transformers.js, WebLLM, and any large file in the browser.

  • ai-models
  • browser
  • fetch
  • integrity