• Home
  • Publications
  • 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
AI Engineer, PhD

← Repyro Apr 1, 2024

© 2025 Donald Pinckney.