A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS
HMAC-SHA256 request signing and verification for API integrations
TypeScript implementation of the Aho-Corasick algorithm for efficient string matching
Work with A1 notation like "A1" or "A1:B2"
linker design work flow
Mathematical Functions
Finding out tempo of the music
Calculate the cumulative sum of single-precision floating-point strided array elements using a second-order iterative Kahan–Babuška algorithm.
a weighted round robin module
Dithers an image using the Floyd-Steinberg algorithm
An abstract hash stream class that feeds hash algorithm blocks of bytes.
Transformer for .ipynb files.
Generate AWS V4 Signatures and Signed URLs
A utility for automatically partitioning tasks (promises) and executing them in parallel using separate processes or web workers.
Standard library cryptographic functions
DVC personalities training calculator using Cartesian Product algorithm.
Development support library for maze-generator plugins
The algorithm used to calculate distance between sets of positions for NRKs Valgomat
Standard algorithms and data structures for JavaScript
Collection of Algorithms and Data Structures Learnt During Secondary Education in Computer Science and Maths
Sudoku puzzle generator
JavaScript library of crypto standards.
A CLI tool that helps creating anki decks using a video file and its corresponding subtitle. For example, you give it an mkv file name and its subtitle (in the format of srt), it splits the video file based on the silent points of the video then creates a
A maze generator using a randomized Prim's algorithm