The package manager.
☆36Mar 24, 2023Updated 3 years ago
Alternatives and similar repositories for package-manager
Users that are interested in package-manager are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The BSD License, less paperwork, with a built-in life preserver☆12Apr 12, 2016Updated 10 years ago
- Rerun travis-ci tests after any dependency is updated☆12May 28, 2019Updated 7 years ago
- What's happened on a GitHub Org this month?☆19Mar 29, 2018Updated 8 years ago
- Check compatibility between different SPDX licenses☆34Mar 29, 2018Updated 8 years ago
- react.london conference & community website☆10Jan 4, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Gotta test 'em all☆16Sep 9, 2016Updated 9 years ago
- A collection of papers about package management we can all ready!☆11May 15, 2019Updated 7 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆15May 11, 2019Updated 7 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- clojure json schema☆37Nov 13, 2015Updated 10 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Convert a Google Drive Document to the Markdown format, suitable for publishing.☆11Oct 20, 2015Updated 10 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- Distributed CRDT based RFID door authentication system with LDAP based users☆18Jul 22, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 4 months ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- A spiritual sucessor to dmoz.org☆16Feb 25, 2023Updated 3 years ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years ago
- vim commands for git-appraise (WIP)☆11Jan 17, 2016Updated 10 years ago
- Your GitHub time machine.☆34Dec 31, 2024Updated last year
- Source repository utilities in Common Lisp☆15Jul 4, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- A gem that makes it easy to find existing issues for exceptions via GitHub issues☆49Mar 6, 2018Updated 8 years ago
- a kind system for schematizing objects☆12Dec 20, 2023Updated 2 years ago
- BEM syntax for CSS☆10Apr 14, 2018Updated 8 years ago
- Reed-Solomon Erasure Coding in Haskell☆23Jan 22, 2017Updated 9 years ago
- Exploring how the value of GitHub stars decays over time☆28Jul 31, 2017Updated 8 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- Typed React bindings for Reason.☆10Aug 21, 2016Updated 9 years ago
- Robust REPL logging facility☆17Oct 9, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Site to match up developers with people willing to comment on their pull requests☆30Dec 14, 2022Updated 3 years ago
- ☆11May 20, 2020Updated 6 years ago
- FlatList React Native component capable of scrolling through pull-streams☆17Nov 4, 2022Updated 3 years ago
- Component layers via webpack loader☆13May 8, 2017Updated 9 years ago
- ☆41Apr 9, 2026Updated 2 months ago
- A framework for custom view-to-view interactive transitions.☆10May 1, 2017Updated 9 years ago
- 👩🚀 declarative glamor for react and preact☆47Oct 19, 2017Updated 8 years ago