WebAssembly-compiled JPEG XL command line tool for Node.js
☆19Nov 10, 2022Updated 3 years ago
Alternatives and similar repositories for jxl-wasm
Users that are interested in jxl-wasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆89Oct 10, 2026Updated 3 weeks ago
- JPEG XL decoder in JavaScript using WebAssembly (WASM)☆364Jan 8, 2026Updated 9 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- ☆13Apr 23, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Jun 23, 2026Updated 4 months ago
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆19Jul 15, 2024Updated 2 years ago
- Minimal resvg WASM bindings for Deno☆15Aug 23, 2022Updated 4 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 2 months ago
- Environment variable validation for Deno.☆13Feb 24, 2024Updated 2 years ago
- A collection of JavaScript libraries and TypeScript types for Guardian projects☆10Jan 18, 2024Updated 2 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- ☆23Sep 25, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Because what if you could just... write graphics sketches? On the web? Like, directly?☆19Aug 5, 2025Updated last year
- 🐤 Use DuckDB from Gleam!☆13Jul 5, 2026Updated 4 months ago
- 🎨 Gleam syntax highlighting with Highlight.js☆16Jun 14, 2026Updated 4 months ago
- Every cron expression in a single enum.☆16Nov 2, 2024Updated 2 years ago
- The Copyleft Guide is the definitive book on copyleft. Also included are various tutorials & education materials for GPL and its enforce…☆11Oct 30, 2018Updated 8 years ago
- ☆17Dec 3, 2023Updated 2 years ago
- An easy to use gleam qr code generator☆14Aug 3, 2026Updated 3 months ago
- Low-level implementation of different painting primitives (lines, rectangles, ...) without specialization on a certain draw target☆25Sep 18, 2024Updated 2 years ago
- 🧑🎓🧑🏫🧑🎓 Resources for learning more about dev the Guardian: Scala, TypeScript, etc☆12Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆20Aug 10, 2022Updated 4 years ago
- A TC-39 proposal to bring stable Intl-inspired formatting options to ECMAScript☆16May 27, 2026Updated 5 months ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Pillow plugin for JPEG-XL, using Rust for bindings.☆68Oct 12, 2026Updated 3 weeks ago
- 📤 Magically generate `fetch` types from OpenAPI schemas for zero-cost browser-native api clients☆21Apr 17, 2025Updated last year
- PostCSS 后编译插件，修复常见 CSS 错误，被动提高代码质量。☆13Jul 12, 2016Updated 10 years ago
- 一个小巧精致的加载器☆11Sep 11, 2013Updated 13 years ago
- Lean formalizations of Putnam-like problems☆22Aug 28, 2026Updated 2 months ago
- 479 byte CSV parser and builder☆26Aug 8, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tool to analyse the import structure of lean projects.☆29Oct 27, 2026Updated last week
- ☆25Updated this week
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Updated this week
- ☆13Jun 5, 2023Updated 3 years ago
- Convert Lottie files to animated color fonts☆11Sep 23, 2022Updated 4 years ago
- A web fonts IFT encoder implementation☆13Updated this week
- 📮 Tiny and fast string compression library☆28Feb 12, 2025Updated last year