• Home
  • Publications
  • Photography
  • Photography
    • Spain & Portugal
  • Projects
    • Jimy
    • Repyro
    • MaxNPM
  • Publications
    • Improving Dependency Management via Formal Semantics
    • A Large Scale Analysis of Semantic Versioning in NPM
    • npm-follower: A Complete Dataset Tracking the NPM Ecosystem
    • Flexible and Optimal Dependency Management via Max-SMT
    • MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
    • Wasm/k: Delimited Continuations for WebAssembly
    • Formal Foundations of Serverless Computing

MaxNPM

Aug 24, 2023 · 1 min read
Go to Project Site

A fork of NPM which which utilizes SAT-solving to find optimal dependencies, so it can minimize download size, minimize security risk, and more.

Last updated on Aug 24, 2023
Donald Pinckney
Authors
Donald Pinckney
Founder of Sectr, PhD

← Repyro Apr 1, 2024

© 2026 Donald Pinckney.