| gdb 17.2 |
buildInputs |
|
5,651 |
maintained |
| ecl 26.5.5 |
propagatedBuildInputs |
|
4,713 |
team-only |
| libmpc 1.4.1 |
buildInputs |
|
1,336 |
single |
| triton-llvm 23.0.0-unstable-2026-06-16 |
buildInputs |
|
811 |
single |
| suitesparse 7.10.0 |
buildInputs |
|
308 |
unmaintained |
| linux 6.18.55 |
nativeBuildInputs |
|
128 |
maintained |
| linuxKernel.kernels.linux_5_10 5.10.271 |
nativeBuildInputs |
|
126 |
maintained |
| linuxKernel.kernels.linux_5_15 5.15.222 |
nativeBuildInputs |
|
126 |
maintained |
| linuxKernel.kernels.linux_6_12 6.12.112 |
nativeBuildInputs |
|
126 |
maintained |
| linux_latest 7.2.9 |
nativeBuildInputs |
|
126 |
maintained |
| linux_xanmod 6.18.55 |
nativeBuildInputs |
|
126 |
maintained |
| linux_xanmod_latest 7.2.9 |
nativeBuildInputs |
|
126 |
maintained |
| linux_zen 7.2.9 |
nativeBuildInputs |
|
126 |
maintained |
| libbytesize 2.12 |
buildInputs |
|
125 |
single |
| linuxKernel.kernels.linux_6_1 6.1.189 |
nativeBuildInputs |
|
125 |
maintained |
| linuxKernel.kernels.linux_6_6 6.6.158 |
nativeBuildInputs |
|
125 |
maintained |
| jrl-cmakemodules 2.3.0 |
buildInputs |
|
50 |
single |
| libqalculate 5.12.0 |
propagatedBuildInputs |
|
38 |
maintained |
| flint 3.6.0 |
propagatedBuildInputs |
|
35 |
maintained |
| cgal 6.2.1 |
buildInputs |
|
26 |
maintained |
| bitwuzla 0.9.1 |
buildInputs |
|
19 |
single |
| gccNGPackages.gcc-unwrapped 16.2.0 |
buildInputs |
|
17 |
team-only |
| gccNGPackages_15.gcc-unwrapped 15.3.0 |
buildInputs |
|
17 |
team-only |
| cgal_5 5.6.3 |
buildInputs |
|
16 |
single |
| ocamlPackages.mlgmpidl 1.3.0 |
buildInputs |
|
13 |
single |
| ocamlPackages.apron 0.9.15 |
propagatedBuildInputs |
|
12 |
single |
| mpfi 1.5.4 |
buildInputs |
|
8 |
single |
| symengine 0.14.0 |
buildInputs |
|
8 |
single |
| csxcad 0.6.3 |
buildInputs |
|
7 |
single |
| fplll 5.5.0 |
buildInputs |
|
6 |
team-only |
| python314Packages.gmpy2 2.2.2 |
buildInputs |
|
6 |
single |
| openscad 2021.01 |
buildInputs |
|
4 |
maintained |
| gccNGPackages.gfortran-unwrapped 16.2.0 |
buildInputs |
|
3 |
team-only |
| gccNGPackages_15.gfortran-unwrapped 15.3.0 |
buildInputs |
|
3 |
team-only |
| python313Packages.gmpy2 2.2.2 |
buildInputs |
|
3 |
single |
| python314Packages.ifcopenshell 0.8.0 |
buildInputs |
|
3 |
team-only |
| scipopt-soplex 8.1.0 |
buildInputs |
|
3 |
single |
| singular 4.4.1 |
buildInputs |
|
3 |
team-only |
| gecode 6.4.0 |
buildInputs |
|
2 |
unmaintained |
| meshlab 2025.07 |
buildInputs |
|
2 |
maintained |
| msolve 0.10.1 |
buildInputs |
|
2 |
single |
| sbclPackages.coalton 20260101-git |
propagatedBuildInputs |
|
2 |
team-only |
| scipopt-scip 10.0.3 |
propagatedBuildInputs |
|
2 |
single |
| sfcgal 2.2.0 |
buildInputs |
|
2 |
maintained |
| gawkextlib.mpfr unstable-2022-10-20 |
buildInputs |
|
1 |
single |
| haskellPackages.Flint2 0.1.0.5 |
buildInputs |
|
1 |
unmaintained broken |
| haskellPackages.hmpfr 0.4.5 |
buildInputs |
|
1 |
unmaintained |
| macaulay2 1.26.06 |
buildInputs |
|
1 |
single |
| minizinc 2.10.1 |
buildInputs |
|
1 |
unmaintained |
| python313Packages.bytesize 2.12 |
buildInputs |
|
1 |
single |
| python313Packages.ifcopenshell 0.8.0 |
buildInputs |
|
1 |
team-only |
| sollya 8.0 |
buildInputs |
|
1 |
single |
| wcpg 0.9 |
buildInputs |
|
1 |
single |
| algol68g 3.12.3 |
buildInputs |
|
0 |
single |
| bambu-studio 02.08.00.50 |
buildInputs |
|
0 |
maintained unfree |
| basiliskii 1.0.0-unstable-2026-06-30 |
buildInputs |
|
0 |
single |
| cloudcompare 2.13.2-unstable-2026-08-21 |
buildInputs |
|
0 |
maintained |
| colmap 4.1.1 |
buildInputs |
|
0 |
maintained |
| colmapWithCuda 4.1.1 |
buildInputs |
|
0 |
maintained |
| djent 1.0 |
buildInputs |
|
0 |
maintained |
| flatter 0-unstable-2025-08-25 |
buildInputs |
|
0 |
single |
| flopoco 4.1.3 |
buildInputs |
|
0 |
single unfree |
| form 5.0.0 |
buildInputs |
|
0 |
single |
| fplll_20160331 20160331 |
buildInputs |
|
0 |
single |
| gappa 1.8.0 |
buildInputs |
|
0 |
single |
| gcl 2.6.14 |
buildInputs |
|
0 |
team-only broken |
| gdbHostCpuOnly 17.2 |
buildInputs |
|
0 |
maintained |
| ghdl-gcc 6.0.0 |
buildInputs |
|
0 |
maintained |
| giac 2.0.0-19 |
buildInputs |
|
0 |
single |
| giac-with-xcas 2.0.0-19 |
buildInputs |
|
0 |
single |
| glsurf 3.3.1 |
buildInputs |
|
0 |
unmaintained |
| gnome-calculator 50.0 |
buildInputs |
|
0 |
team-only |
| gplates 2.6.0-47 |
buildInputs |
|
0 |
unmaintained |
| gretl 2026b |
buildInputs |
|
0 |
unmaintained |
| haskellPackages.HERA 0.2 |
buildInputs |
|
0 |
unmaintained broken |
| haskellPackages.fplll 0.1.0.0 |
buildInputs |
|
0 |
unmaintained |
| haskellPackages.gegl 0.0.0.5 |
buildInputs |
|
0 |
unmaintained |
| haskellPackages.rounded 1.1.1 |
buildInputs |
|
0 |
unmaintained |
| haskellPackages.simple-amount 0.2.0 |
buildInputs |
|
0 |
unmaintained |
| haskellPackages.trade-journal 0.0.2 |
buildInputs |
|
0 |
unmaintained broken |
| hqplayer-desktop 6.0.2-3 |
buildInputs |
|
0 |
maintained unfree |
| infer 1.3.0 |
buildInputs |
|
0 |
single |
| jasmin-compiler 2026.09.0 |
buildInputs |
|
0 |
single |
| kalker 2.2.3 |
buildInputs |
|
0 |
single |
| kdePackages.kalk 26.08.1 |
buildInputs |
|
0 |
team-only |
| kdePackages.kcalc 26.08.1 |
buildInputs |
|
0 |
team-only |
| lean2 2018-10-01 |
buildInputs |
|
0 |
single |
| ledger 3.4.1 |
buildInputs |
|
0 |
maintained |
| linuxPackages_custom_tinyconfig_kernel 6.18.55 |
nativeBuildInputs |
|
0 |
maintained |
| linux_testing 7.3-rc6 |
nativeBuildInputs |
|
0 |
maintained |
| lua51Packages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single broken |
| lua53Packages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single |
| lua54Packages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single |
| lua55Packages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single broken |
| luaPackages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single broken |
| luajitPackages.lmpfrlib 20170112-2 |
buildInputs |
|
0 |
single broken |
| mate-calc 1.28.0 |
buildInputs |
|
0 |
team-only |
| mathemagix 11229 |
buildInputs |
|
0 |
unmaintained |
| mathematica 15.0.1 |
buildInputs |
|
0 |
maintained unfree |
| mathematica-cuda 15.0.1-cuda |
buildInputs |
|
0 |
maintained unfree |
| mathematica-webdoc 15.0.1 |
buildInputs |
|
0 |
maintained unfree |
| mathematica-webdoc-cuda 15.0.1-cuda |
buildInputs |
|
0 |
maintained unfree |
| miktex 25.12 |
buildInputs |
|
0 |
single |
| mopsa 1.1 |
buildInputs |
|
0 |
single |
| ocamlPackages.elina 1.1 |
propagatedBuildInputs |
|
0 |
single |
| octavePackages.interval 3.2.2 |
propagatedBuildInputs |
|
0 |
single |
| openmvs 2.4.0 |
buildInputs |
|
0 |
maintained |
| openscad-unstable 2021.01-unstable-2026-07-20 |
buildInputs |
|
0 |
maintained |
| orca-slicer 2.4.2 |
buildInputs |
|
0 |
maintained |
| padne 0.3 |
buildInputs |
|
0 |
maintained |
| polymake 4.15 |
buildInputs |
|
0 |
team-only |
| prusa-slicer 2.9.6 |
buildInputs |
|
0 |
maintained |
| python313Packages.cgal 6.0.1.post202410241521 |
buildInputs |
|
0 |
single |
| python313Packages.fpylll 0.6.4 |
buildInputs |
|
0 |
team-only |
| python313Packages.graph-tool 3.8 |
buildInputs |
|
0 |
single |
| python313Packages.gudhi 3.11.0 |
buildInputs |
|
0 |
single |
| python313Packages.ledger 3.4.1 |
buildInputs |
|
0 |
maintained |
| python313Packages.padne 0.3 |
buildInputs |
|
0 |
maintained |
| python313Packages.pplpy 0.8.10 |
buildInputs |
|
0 |
team-only |
| python313Packages.viennarna 2.7.2 |
buildInputs |
|
0 |
single unfree |
| python314Packages.cgal 6.0.1.post202410241521 |
buildInputs |
|
0 |
single |
| python314Packages.fpylll 0.6.4 |
buildInputs |
|
0 |
team-only |
| python314Packages.graph-tool 3.8 |
buildInputs |
|
0 |
single |
| python314Packages.gudhi 3.11.0 |
buildInputs |
|
0 |
single |
| python314Packages.ledger 3.4.1 |
buildInputs |
|
0 |
maintained |
| python314Packages.padne 0.3 |
buildInputs |
|
0 |
maintained |
| python314Packages.pplpy 0.8.10 |
buildInputs |
|
0 |
team-only |
| rocmPackages.rocgdb 7.2.3 |
buildInputs |
|
0 |
team-only |
| s7 11.9-unstable-2026-08-19 |
buildInputs |
|
0 |
maintained |
| sharpsat-td 0-unstable-2021-09-05 |
buildInputs |
|
0 |
single |
| sp800-90b-entropyassessment 1.1.8 |
buildInputs |
|
0 |
single |
| sums 0.16 |
buildInputs |
|
0 |
single |
| super-slicer 2.5.59.13 |
buildInputs |
|
0 |
maintained |
| super-slicer-beta 2.7.61.6 |
buildInputs |
|
0 |
maintained |
| terminusdb 12.0.6 |
buildInputs |
|
0 |
single |
| valeronoi 0.2.2 |
buildInputs |
|
0 |
maintained |
| viennarna 2.7.2 |
buildInputs |
|
0 |
single unfree |
| wcalc 2.5 |
buildInputs |
|
0 |
unmaintained |