Alternatives and similar repositories for knuth-plass-thoughts

Users that are interested in knuth-plass-thoughts are comparing it to the libraries listed below

• sagi / fastgcd

  View on GitHub
  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
• janestreet / line-up-words

  View on GitHub
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Jan 15, 2026Updated last month
• svix-onelson / stair-stepper

  View on GitHub
  toy project to learn about the memory usage of different workloads with different allocators
  ☆10Mar 30, 2023Updated 2 years ago
• pickhardt / escrovery

  View on GitHub
  Escrovery - Decentralized Account Recovery With Escrowed Payments
  ☆13May 8, 2019Updated 6 years ago
• idaholab / EMRALD

  View on GitHub
  Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…
  ☆28Feb 4, 2026Updated last week
• bramcohen / Weave

  View on GitHub
  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
• PoWx-Org / oPoW

  View on GitHub
  PoWx mission: Aiming at smaller energy per hash hardware.
  ☆11Dec 18, 2021Updated 4 years ago
• JUrban / MPTP2

  View on GitHub
  ☆19Feb 22, 2017Updated 8 years ago
• eonist / explorer-legacy

  View on GitHub
  Showcase app for programatic UI compoents
  ☆12Aug 7, 2017Updated 8 years ago
• crowlKats / devcode

  View on GitHub
  ☆11Aug 24, 2021Updated 4 years ago
• jakobmoosbauer / flips

  View on GitHub
  ☆18Dec 9, 2025Updated 2 months ago
• shriphani / polyglot-toolbox

  View on GitHub
  Polyglot skipgram embeddings, and their many health benefits
  ☆12Feb 2, 2020Updated 6 years ago
• alexanderganderson / bnn_vis

  View on GitHub
  Train and Visualize Binary Neural Networks (Code for: The High-Dimensional Geometry of Binary Neural Networks)
  ☆13Jan 31, 2018Updated 8 years ago
• bwasti / torch_julia

  View on GitHub
  [alpha] Expose Julia functions to PyTorch
  ☆15Aug 9, 2019Updated 6 years ago
• augustebaum / epfl-thesis-typst

  View on GitHub
  Port of an unofficial EPFL LaTeX template to Typst.
  ☆15Feb 25, 2025Updated 11 months ago
• mzucker / lsystem_optimization

  View on GitHub
  Socially isolating through obsessive micro-optimization.
  ☆13Dec 8, 2021Updated 4 years ago
• gugod / grey-paper-theme

  View on GitHub
  A greyscale theme with look-n-feel of an eink display
  ☆12Apr 15, 2023Updated 2 years ago
• martani / Quadratic-Sieve

  View on GitHub
  A simple implementation of the Quadratic Sieve for integer factoring in C
  ☆13Jan 13, 2012Updated 14 years ago
• FredMesnard / LPTP

  View on GitHub
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Aug 30, 2025Updated 5 months ago
• jlapeyre / SymataSyntax.jl

  View on GitHub
  Mathematica syntax for Symata.jl
  ☆14Jun 2, 2020Updated 5 years ago
• C-Naoki / ModePlait

  View on GitHub
  [KDD2025] Modeling Time-evolving Causality over Data Streams. https://dl.acm.org/doi/10.1145/3690624.3709283
  ☆15Sep 18, 2025Updated 4 months ago
• ArturasAcus / GeometricAlgebra

  View on GitHub
  Mathematica package for Clifford (geometric) algebra calculations
  ☆14Dec 23, 2025Updated last month
• emacsmirror / auctex

  View on GitHub
  Integrated environment for *TeX*
  ☆13Feb 8, 2026Updated last week
• flowerinthenight / spindle

  View on GitHub
  A distributed locking library built on Cloud Spanner and TrueTime.
  ☆59Feb 8, 2026Updated last week
• alt-text-org / image-algo-testing

  View on GitHub
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Jul 29, 2023Updated 2 years ago
• jmmanos / VideoToolboxPlus

  View on GitHub
  VideoToolbox helpers with Swift syntax.
  ☆15Jul 12, 2016Updated 9 years ago
• TylerYep / flake8-future-annotations

  View on GitHub
  Verifies python 3.7+ files use `from __future__ import annotations`
  ☆16Updated this week
• hadronized / spline-editor

  View on GitHub
  A simple spline editor for the splines crate
  ☆24Jan 20, 2023Updated 3 years ago
• SMerrony / daikin2mqtt

  View on GitHub
  A software bridge between certain popular Daikin™ HVAC units and MQTT.
  ☆14May 6, 2022Updated 3 years ago
• Dicklesworthstone / bakery_algorithm

  View on GitHub
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Jan 19, 2024Updated 2 years ago
• pygae / GAlgebra.jl

  View on GitHub
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• xehoth / TruthTableGenerator

  View on GitHub
  Generate truth table according to logic expressions
  ☆14Dec 24, 2021Updated 4 years ago
• rzscheck / logic

  View on GitHub
  A digital logic simulation written in C
  ☆63Jul 5, 2020Updated 5 years ago
• PhoenixBureau / PythonOberon

  View on GitHub
  Some software for using Oberon 2013. http://www.inf.ethz.ch/personal/wirth/ProjectOberon/
  ☆15Nov 7, 2023Updated 2 years ago
• dn-m / Music

  View on GitHub
  Structures for the creation, analysis, and performance of music in Swift
  ☆16Sep 13, 2019Updated 6 years ago
• corvino / LayerExplorer

  View on GitHub
  An OS X app for visualizing and exploring CALayer geometry.
  ☆16Dec 15, 2016Updated 9 years ago
• iluvatar1 / ProgCPP-lectures-jupyter

  View on GitHub
  ☆11Feb 3, 2026Updated last week
• Inaxo / MathLib

  View on GitHub
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Jun 6, 2023Updated 2 years ago
• AdaCore / why3

  View on GitHub
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated this week