nixpkgs
nixpkgs is Except some packages are bundling their own roots. If you want to help. It is ranked #813 on the Dev Radar, in Languages & runtimes, first seen 45 days ago and shared in 2 posts (3.5k views).
What nixpkgs says about itself
Adds two new packages enabling the Rocq MCP toolchain, plus the coq-lsp change they depend on: python3Packages.pytanque (0.2.2): Python client for the Petanque JSON-RPC interface to coq-lsp. Upstr...
rocq-mcp: init at 0.3.1-unstable-2026-07-21; python3Packages.pytanque: init at 0.2.2 by remix7531 · Pull Request #542647 · NixOS/nixpkgs · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation rocq-mcp: init at 0.3.1-unstable-2026-07-21; python3Packages.pytanque: init at 0.2.2 - # 542647 # 542647 Open remix7531…
Alternatives to nixpkgs
- Microsoft Foundry Blog — TypeScript 7.1 Beta is now available! Now with a preview API, content mapper support, new features, and some great…
- Learn Node.js — Node.js advisory
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- makepad — Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11…
- typing-rules-as-programs — In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq -…
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
nixpkgs in numbers
- Rank on the Dev Radar: #813 of 9504
- Shared in 2 posts by 1 account: @cafkafk
- 3.5k views on those posts
- First seen 45 days ago, last shared 13 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Languages & runtimes
FAQ
What is nixpkgs?
Except some packages are bundling their own roots. If you want to help It was first shared on X 45 days ago and is ranked #813 on the Dev Radar.
Is nixpkgs free?
It is open source.
Who shared nixpkgs?
1 account on X, including @cafkafk, in 2 posts totalling 3.5k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.8k posts from 5k X accounts over the last 21 days, 9.5k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 18:27 UTC. Full method.