Different and fast approaches to rendering rectangles in your browser
☆17Feb 25, 2016Updated 10 years ago
Alternatives and similar repositories for fast-rectangles
Users that are interested in fast-rectangles are comparing it to the libraries listed below
Sorting:
- GPU-based cellular automata runner☆12Apr 27, 2019Updated 6 years ago
- HiGlass track for displaying arcs between disconnected regions☆10Dec 13, 2022Updated 3 years ago
- Basic command line tool that converts an OBJ file into a simplicial complex☆14Aug 24, 2018Updated 7 years ago
- BitView does per-bit access to ArrayBuffers (like DataView for bits)☆38May 11, 2012Updated 13 years ago
- Modified RBush — a high-performance JavaScript R-tree-based 2D spatial index for AABBs☆19Apr 10, 2020Updated 5 years ago
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 3 months ago
- World fastest deep clone based on schema☆23Jan 17, 2024Updated 2 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Jul 18, 2025Updated 8 months ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- ☆13Aug 29, 2025Updated 6 months ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Code for the paper on t-SNE with variable degree of freedom☆12Jun 27, 2019Updated 6 years ago
- Pallet Crates☆28Aug 10, 2012Updated 13 years ago
- sheriferson's dot, config, and setup files☆14Dec 13, 2025Updated 3 months ago
- ☆15Oct 21, 2020Updated 5 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- An external sorting algorithm implementation for NodeJS 💾☆16Sep 11, 2024Updated last year
- ☆10May 2, 2025Updated 10 months ago
- Clojure library that abstracts libsodium's NaCl primitives (curve25519, ed25519, blake2b, box/unbox, sign/verify, etc.)☆10Jul 4, 2016Updated 9 years ago
- Small exercises to get you used to reading and writing TypeScript code!☆22Feb 5, 2026Updated last month
- Code to accompany "My God, It's Full of Dots"☆11Mar 15, 2020Updated 6 years ago
- Implementing Gravner-Griffeath Snowflakes☆11Dec 6, 2017Updated 8 years ago
- Tool to display/decode CPUINFO☆10Oct 22, 2018Updated 7 years ago
- Pull RSS/Atom feeds to your IMAP folders with Clojure on JVM.☆31Jan 16, 2020Updated 6 years ago
- Utilities for working with the native FormData☆28Updated this week
- xywh.js is a JavaScript polyfill that lets you crop images and videos simply by using specific x, y, width, and height information from t…☆27Mar 23, 2022Updated 3 years ago
- Aurelia and Redux example used for a Sitepoint Article☆11Nov 13, 2016Updated 9 years ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 5 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated last year
- Experimental lightweight editor☆18Jan 26, 2023Updated 3 years ago
- Shared repository for personal idyll posts☆13Dec 7, 2021Updated 4 years ago
- Evaluate Javascript code and libraries in Clojure☆20Mar 4, 2012Updated 14 years ago
- Simple tiny dependency graph engine, MobX inspired☆25Nov 12, 2022Updated 3 years ago
- Catalogue of pairwise alignment algorithms and benchmarks☆25Jan 6, 2026Updated 2 months ago