andrezsanchez
Follow
Stars
A floating point arithmetic which works with types of any mantissa, exponent or base in modern header-only C++.
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
🌊 The code for my volume rendering implementation in Three.js and GLSL.
The amazing multi-processor 8-bit microcomputer, featuring Z80, 6502 and AVR processors. Built with CPLDs, CERBERUS 2100™ is fully programmable even with respect to its hardware, at the individual …
Make a dump of the V8 heap for later inspection.
TypeScript-first schema validation with static type inference
A functional and reactive JavaScript framework for predictable code
Minimal, powerful declarative VDOM and reactive programming library.
Yet Another TypeScript Syntax: The most advanced TypeScript Syntax Highlighting in Vim
A collection of resources for learning type theory and type theory adjacent fields.
An extension to GeoJSON that encodes topology and allows compact, delta-encoded coordinates.
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
A repo containing notes about the TypeScript Compiler codebase
Comlink makes WebWorkers enjoyable.
Web Audio API samples by Chrome Web Audio Team
The financial transactions database designed for mission critical safety and performance.
Visualize Minecraft region files in the browser
Play MIDI files in the browser w/ Web Audio, WebAssembly, and libtimidity
A Javascript implementation of Fortune's algorithm to compute Voronoi cells
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
A latent text-to-image diffusion model