Description and implementation of the core Knuth-Plass line-wrapping algorithm.
☆169Oct 2, 2018Updated 7 years ago
Alternatives and similar repositories for knuth-plass-thoughts
Users that are interested in knuth-plass-thoughts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a version of Li Chen Wang's Palo Alto Tiny BASIC 2.0 for use with the online 8080 emulator and assembler ASM80.com.☆12Oct 10, 2020Updated 5 years ago
- PMW is a music typesetting program, processing marked-up text into PostScript and PDF.☆18Updated this week
- Neatcc top-level makefile☆13Feb 8, 2026Updated last month
- Integrated environment for *TeX*☆13Mar 19, 2026Updated last week
- A book generator☆27Feb 21, 2026Updated last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Port of an unofficial EPFL LaTeX template to Typst.☆16Feb 25, 2025Updated last year
- Canvas is infrastructural code to make photo-editing, animation-studio and ui-design softwares☆15Jul 30, 2020Updated 5 years ago
- ☆11Jun 25, 2025Updated 9 months ago
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17May 13, 2024Updated last year
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 2 years ago
- Copy files to clipboard from command line (Windows/OSX/Linux)☆18Mar 9, 2024Updated 2 years ago
- Slides for my talks at various meetups.☆22Sep 15, 2025Updated 6 months ago
- Monadic Error Handling for Python☆12Aug 29, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated 9 months ago
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 3 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 5 years ago
- A general purpose library to help implement undo.☆13Apr 15, 2021Updated 4 years ago
- ☆15Oct 23, 2013Updated 12 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Feb 22, 2017Updated 9 years ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Microbenchmarks for Aarch64 (Cortex A53)☆12Apr 19, 2023Updated 2 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 2 years ago
- A machine learning model to detect whether a GitHub user has a custom or default avatar☆12Apr 15, 2022Updated 3 years ago
- The X-tra Beautiful comic reading interface (In development)☆29May 12, 2024Updated last year
- Showcase app for programatic UI compoents☆12Aug 7, 2017Updated 8 years ago
- Constant-time hex and base64 codecs from libsodium reimplemented in Rust.☆16Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Verifies python 3.7+ files use `from __future__ import annotations`☆16Updated this week
- A language for certifying specification☆14Sep 27, 2023Updated 2 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 7 years ago
- ☆10Mar 14, 2020Updated 6 years ago
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 8 months ago
- Recursion indicator for the mode-line☆35Mar 22, 2026Updated last week
- ☆13Oct 4, 2021Updated 4 years ago